]> matita.cs.unibo.it Git - helm.git/blob - DEVEL/mathml_editor/TODO
closed all axioms
[helm.git] / DEVEL / mathml_editor / TODO
1
2 * add param node in the TML with the name of the parameter
3 * add space node? active node?
4 * add alt boolean to all deleting methods
5 * implement a mechanism that allows the definition of new macros
6 * add open-group close-group attributes in the dictionary and handle them
7 * implement macro completion
8
9 BUGS
10 * $1\over{2}$ does not work
11
12 * compare pure_subst/pure_diff/subst_diff performances
13