From: Paolo Marinelli <paolo.marinelli@unibo.it>
Date: Sun, 30 Mar 2003 09:30:37 +0000 (+0000)
Subject: Added a rule in the epsilon-rules section (paragraph normal left drop).
X-Git-Tag: before_refactoring~78
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f3ae1face7cbf703a5e65526f578a75dd527c1b9;p=helm.git

Added a rule in the epsilon-rules section (paragraph normal left drop).
---

diff --git a/helm/DEVEL/mathml_editor/doc/spec.tex b/helm/DEVEL/mathml_editor/doc/spec.tex
index 3e3964272..108bbce6a 100644
--- a/helm/DEVEL/mathml_editor/doc/spec.tex
+++ b/helm/DEVEL/mathml_editor/doc/spec.tex
@@ -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.