]> matita.cs.unibo.it Git - helm.git/commitdiff
Corrected a wrong epsilon-rule in the Special Left Drop paragraph. There was
authorPaolo Marinelli <paolo.marinelli@unibo.it>
Tue, 1 Apr 2003 09:45:09 +0000 (09:45 +0000)
committerPaolo Marinelli <paolo.marinelli@unibo.it>
Tue, 1 Apr 2003 09:45:09 +0000 (09:45 +0000)
a LaTeX syntax error.

helm/DEVEL/mathml_editor/doc/spec.tex

index 7012d30f208b9f1c7896485403ec00c4920c7032..504825ae6bf8306126e5beda26f780d2c2928c6f 100644 (file)
@@ -538,6 +538,9 @@ cursor with \ONODE{}, append $\tadvance$ after the \ONODE{} node
 
 \begin{description}
 
+  \item{\verb+math/g[^#]/+$\NLDROP$}\\
+  repalce the $\NLDROP$ with the cursor.
+
   %**************************************************************************************
   %****************************** epsilon-rules with \NLDROP ****************************
   %**************************************************************************************
@@ -550,10 +553,6 @@ cursor with \ONODE{}, append $\tadvance$ after the \ONODE{} node
   \item{\verb+g[^#$]/+$\NLDROP$}\\
   replace the \G{} node with the $\NLDROP$.
 
-  % this rule overrides the one above
-  \item{\verb+math/g[^#$]/+$\NLDROP$}\\
-  replace the $\NLDROP$ with the cursor.
-
   % this rule is overridden by the two ones below
   \item{\verb+c/p[^#$]/+$\NLDROP$}\\
   remove the $\NLDROP$ and insert it before the \PNODE{} node.
@@ -616,9 +615,6 @@ cursor with \ONODE{}, append $\tadvance$ after the \ONODE{} node
 
   % special rules
 
-  \item{\verb+math/g[^#*]/+$\NLDROP$}\\
-  replace the $\NLDROP$ with the cursor.
-
   % this rule is applicable to all macros.
   \item{\verb+c[^#][p[*]]/+$\NLDROP$}\\
   remove the $\NLDROP$ and insert it before the \CNODE{} node.
@@ -636,11 +632,10 @@ cursor with \ONODE{}, append $\tadvance$ after the \ONODE{} node
   \item{\verb+math/+$\SLDROP$}\\
   replace the $\SLDROP$ with the cursor.
 
-  %************************ \SLDROP has neither preceding nor following nodes *****************************
+  \item{\verb+math/g[^#]/+$\NLDROP$}\\
+  replace the $\NLDROP$ with the cursor.
 
-  % this rule overrides the one below
-  \item{\verb+math/g[^#$]/+$\SLDROP$}\\
-  replace the $\SLDROP$ with the cursor.
+  %************************ \SLDROP has neither preceding nor following nodes *****************************
 
   \item{\verb+g[^#$]/+$\SLDROP$}\\
   replace the \G{} node with the cursor.
@@ -694,7 +689,7 @@ cursor with \ONODE{}, append $\tadvance$ after the \ONODE{} node
   \item{\verb+*[(i|n|o|s|c[!*])#]/+$\SLDROP$}\\
   remove the $\SLDROP$ and replace the token with the cursor.
 
-  \item{\verb+*[table#]/$\SLDROP$+}\\
+  \item{\verb+*[table#]/+$\SLDROP$}\\
   remove the $\SLDROP$ and append the $\NLDROP_n$ as the last child of the \TABLE{} node.
 
   \item{\verb+*[c#]/+$\SLDROP$}\\
@@ -705,9 +700,6 @@ cursor with \ONODE{}, append $\tadvance$ after the \ONODE{} node
 
   %********** \SLDROP has no preceding node, but has following ones **************
 
-  \item{\verb+math/g[^#*]/+$\SLDROP$}\\
-  replace the $\SLDROP$ with the cursor.
-
   \item{\verb+c[^#p][p(*)]/+$\SLDROP$}\\
   remove the $\SLDROP$ and insert the cursor before the \CNODE{} node.