]> matita.cs.unibo.it Git - helm.git/commitdiff
Added some rules in the Right Drop section and in the Left Drop one.
authorPaolo Marinelli <paolo.marinelli@unibo.it>
Mon, 31 Mar 2003 17:41:40 +0000 (17:41 +0000)
committerPaolo Marinelli <paolo.marinelli@unibo.it>
Mon, 31 Mar 2003 17:41:40 +0000 (17:41 +0000)
helm/DEVEL/mathml_editor/doc/spec.tex

index 9dfc6ec24ff2f53a14518892cdfa7a4e5424e88f..7012d30f208b9f1c7896485403ec00c4920c7032 100644 (file)
@@ -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}