X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fdoc%2Fspec.tex;h=504825ae6bf8306126e5beda26f780d2c2928c6f;hb=ab1ea1988436efdac3c8148cd8310997d0122a39;hp=4495c805e32d13b9fc90cbeb52a637e1c8961be7;hpb=0593f47412b947a4af005b2ccec2eb13dd8dee90;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/doc/spec.tex b/helm/DEVEL/mathml_editor/doc/spec.tex
index 4495c805e..504825ae6 100644
--- a/helm/DEVEL/mathml_editor/doc/spec.tex
+++ b/helm/DEVEL/mathml_editor/doc/spec.tex
@@ -29,6 +29,7 @@
 \newcommand{\ROW}{\texttt{row}}
 \newcommand{\SLDROP}{\blacktriangleleft}
 \newcommand{\NLDROP}{\vartriangleleft}
+\newcommand{\RDROP}{\vartriangleright}
 
 \begin{document}
 
@@ -524,12 +525,22 @@ cursor with \ONODE{}, append $\tadvance$ after the \ONODE{} node
 
 \section{Right Drop Rules}
 
+\begin{description}
+
+  \item{\verb+cursor+}\\
+  replace the cursor with the $\RDROP$.
+
+\end{description}
+
 \section{$\varepsilon$-rules}
 
 \paragraph{Nromal Left Drop}
 
 \begin{description}
 
+  \item{\verb+math/g[^#]/+$\NLDROP$}\\
+  repalce the $\NLDROP$ with the cursor.
+
   %**************************************************************************************
   %****************************** epsilon-rules with \NLDROP ****************************
   %**************************************************************************************
@@ -542,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.
@@ -608,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.
@@ -628,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.
@@ -686,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$}\\
@@ -697,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.
 
@@ -735,6 +735,51 @@ cursor with \ONODE{}, append $\tadvance$ after the \ONODE{} node
   \item{\verb+g[@id][^#$]/+$\NLDROP_n$}\\
   replace the \G{} node with the $\NLDROP_n$.
 
+  \item{$\NLDROP_n$}\\
+  replace the $\NLDROP_n$ with the cursor.
+
+\end{description}
+
+\paragraph{Right Drop}
+
+\begin{description}
+
+  %************************* \RDROP has at least a following node ****************************************
+
+  \item{\verb+c[#(i|n|o|s|c[!*])]/+$\RDROP$}\\
+  remove the $\RDROP$ and append it after the delimiter
+
+  \item{\verb+*[#(i|n|o|s|c[!*])]/+$\RDROP$}\\
+  remove the token and replace the $\RDROP$ with the cursor $\RDROP_n$.
+
+  % this rule is overridden by those ones above.
+  \item{\verb+*[#*]/+$\RDROP$}\\
+  remove the $\RDROP$ and append it as the first child of the following node.
+
+  %************************** \RDROP has neither following nor preceding nodes ******************************
+
+  \item{\verb+c[#$][!p[*]]/+$\RDROP$}\\
+  replace the \CNODE{} with the $\RDROP$.
+
+  \item{\verb+p[^#$]/+$\RDROP$}\\
+  move the $\RDROP$ after the \PNODE{} node.
+
+  \item{\verb+g[^#$]/+$\RDROP$}\\
+  replace the \G{} node with the $\RDROP$.
+
+\end{description}
+
+\paragraph{Normalize Right Drop}
+
+\begin{description}
+
+  % at the moment it's the only rule, defined for this symbol.
+  \item{\verb+g[@id][^#$]/+$\RDROP_n$}\\
+  replace the \G{} node with the $\RDROP_n$.
+
+  \item{$\RDROP_n$}\\
+  replace the $\RDROP$ with the cursor.
+
 \end{description}
 
 \paragraph{Advance}