]> matita.cs.unibo.it Git - helm.git/commitdiff
Added a rule in the epsilon-rules section (paragraph normal left drop).
authorPaolo Marinelli <paolo.marinelli@unibo.it>
Sun, 30 Mar 2003 09:30:37 +0000 (09:30 +0000)
committerPaolo Marinelli <paolo.marinelli@unibo.it>
Sun, 30 Mar 2003 09:30:37 +0000 (09:30 +0000)
helm/DEVEL/mathml_editor/doc/spec.tex

index 3e3964272ed6579cc155772e3b138f2eb194b927..108bbce6a1234b5f408dd5fc033e8fdfb2554bbf 100644 (file)
@@ -464,9 +464,16 @@ cursor with \ONODE{}, append $\tadvance$ after the \ONODE{} node
 
   %***************************** \NLDROP has no preceding nodes *************************
 
+  \item{\verb+math[^#$]/+$\NLDROP$}\\
+  replace the $\NLDROP$ with the cursor.
+
   \item{\verb+g[^#$]/+$\NLDROP$}\\
   replace the \G{} node with the $\NLDROP$.
 
+  % this rule overrides the rule above
+  \item{\verb+math/g[^#$]/+$\NLDROP$}\\
+  replace the $\NLDROP$ with the cursor.
+
   \item{\verb+c/p[^#$]/+$\NLDROP$}\\
   remove the $\NLDROP$ and insert it before the \PNODE{} node.
 
@@ -489,7 +496,7 @@ cursor with \ONODE{}, append $\tadvance$ after the \ONODE{} node
 
   % general rules
 
-  % this rule should also handle the case where the \NLDROP is the third (and last) child of a script.
+  % this rule should also handles the case where the \NLDROP is the third (and last) child of a script.
   \item{\verb+*[*#]/+$\NLDROP$}\\
   remove the $\NLDROP$ and append it as the last child of its ex preceding brother.