X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2FMODES;fp=helm%2FDEVEL%2Fmathml_editor%2FMODES;h=39032e3eb3b65cc9b15b263aad766c7aa4dcbaed;hb=30060cffed61b88fe53e4d6386b606050d6dfda0;hp=0000000000000000000000000000000000000000;hpb=e6927665462cbbace76cff1b17d4f8badcb44eda;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/MODES b/helm/DEVEL/mathml_editor/MODES
new file mode 100644
index 000000000..39032e3eb
--- /dev/null
+++ b/helm/DEVEL/mathml_editor/MODES
@@ -0,0 +1,25 @@
+
+there are two basic syntactic modes:
+
+TeX mode:
+
+* any letter is an identifier by itself
+
+Program mode:
+
+* sequences of letters (and possibly other characters)
+  are collapsed into a single token. Id tokens are separated
+  by any other character not included in one of the collapsing
+  categories.
+
+The mode is a property of the parser.
+
+there are two basic semantic modes:
+
+math mode:
+
+* implicit operator is multiplication
+
+program mode:
+
+* implicit operator is function application