3
edits
Changes
Jump to navigation
Jump to search
m
→Sub-Formula Numbering
-- 23:46, 15 Aug 2005 (CEST) Prinse Wang
If you want named subformula with a reference see the solution proposed by Aditya Mahajan on the mailing-list [http://archive.contextgarden.net/message/20061029.063821.ba521b6c.en.html] (2006-10-29). This feature should be added to the core eventually.
==List of Formulas==
