From: Paolo Marinelli <paolo.marinelli@unibo.it>
Date: Mon, 31 Mar 2003 17:41:40 +0000 (+0000)
Subject: Added some rules in the Right Drop section and in the Left Drop one.
X-Git-Tag: before_refactoring~72
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=10372ee288ae67dcab8b1b04f7c52c65009fd6e9;p=helm.git

Added some rules in the Right Drop section and in the Left Drop one.
---

diff --git a/helm/DEVEL/mathml_editor/doc/spec.tex b/helm/DEVEL/mathml_editor/doc/spec.tex
index 9dfc6ec24..7012d30f2 100644
--- a/helm/DEVEL/mathml_editor/doc/spec.tex
+++ b/helm/DEVEL/mathml_editor/doc/spec.tex
@@ -743,28 +743,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+*[#$]/+$\RDROP$}\\
-  remove the $\RDROP$ and insert it after its parent.
-
   \item{\verb+*[#(i|n|o|s|c[!*])]/+$\RDROP$}\\
-  remove the token and replace the $\RDROP$ with the $\RDROP_n$.
+  remove the token and replace the $\RDROP$ with the cursor $\RDROP_n$.
 
-  \item{\verb+*[#<sp|sb>]+}\\
-  ?
-
-  % this rule is overridden bu those above.
+  % 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}