From: Paolo Marinelli Date: Tue, 1 Apr 2003 09:45:09 +0000 (+0000) Subject: Corrected a wrong epsilon-rule in the Special Left Drop paragraph. There was X-Git-Tag: before_refactoring~71 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ab1ea1988436efdac3c8148cd8310997d0122a39;p=helm.git Corrected a wrong epsilon-rule in the Special Left Drop paragraph. There was a LaTeX syntax error. --- diff --git a/helm/DEVEL/mathml_editor/doc/spec.tex b/helm/DEVEL/mathml_editor/doc/spec.tex index 7012d30f2..504825ae6 100644 --- a/helm/DEVEL/mathml_editor/doc/spec.tex +++ b/helm/DEVEL/mathml_editor/doc/spec.tex @@ -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.