X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2FTODO;fp=helm%2FDEVEL%2Fmathml_editor%2FTODO;h=0000000000000000000000000000000000000000;hb=1696761e4b8576e8ed81caa905fd108717019226;hp=701ec467326705f79a9934c1a55bc8259cc25ed2;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/TODO b/helm/DEVEL/mathml_editor/TODO
deleted file mode 100644
index 701ec4673..000000000
--- a/helm/DEVEL/mathml_editor/TODO
+++ /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
-