]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/TODO
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / DEVEL / mathml_editor / TODO
diff --git a/helm/DEVEL/mathml_editor/TODO b/helm/DEVEL/mathml_editor/TODO
deleted file mode 100644 (file)
index 701ec46..0000000
+++ /dev/null
@@ -1,13 +0,0 @@
-
-* add param node in the TML with the name of the parameter
-* add space node? active node?
-* add alt boolean to all deleting methods
-* implement a mechanism that allows the definition of new macros
-* add open-group close-group attributes in the dictionary and handle them
-* implement macro completion
-
-BUGS
-* $1\over{2}$ does not work
-
-* compare pure_subst/pure_diff/subst_diff performances
-