From: Paolo Marinelli <paolo.marinelli@unibo.it>
Date: Sun, 30 Mar 2003 11:08:57 +0000 (+0000)
Subject: Added some rules to handle the generalized normal left drop.
X-Git-Tag: before_refactoring~77
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=71af11a88d843472a7b33ed7365ad373c415659f;p=helm.git

Added some rules to handle the generalized normal left drop.
---

diff --git a/helm/DEVEL/mathml_editor/doc/spec.tex b/helm/DEVEL/mathml_editor/doc/spec.tex
index 108bbce6a..62e1473f8 100644
--- a/helm/DEVEL/mathml_editor/doc/spec.tex
+++ b/helm/DEVEL/mathml_editor/doc/spec.tex
@@ -515,7 +515,7 @@ cursor with \ONODE{}, append $\tadvance$ after the \ONODE{} node
 
   % this rule overrides the one above
   \item{\verb+*[sp[!@id][^*g[!@id][^o[@name='prime']++\verb+o[@name='prime']$]]#]/+$\NLDROP$}\\
-  remove the last \ONODE{} node and replace the $\NLDROP$ with the %$\NLDROP_n$.
+  remove the last \ONODE{} node and replace the $\NLDROP$ with the cursor.%$\NLDROP_n$.
 
   \item{\verb+*[sp[!@id][^*g[!@id][^o[@name='prime']$]]#]/+$\NLDROP$}\\
   replace the script with its first child and replace the $\NLDROP$ with the cursor.%$\NLDROP_n$.
@@ -527,6 +527,21 @@ cursor with \ONODE{}, append $\tadvance$ after the \ONODE{} node
   \item{\verb+c[p#]/+$\NLDROP$}\\
   move the $\NLDROP$ into the \PNODE{} node.
 
+  %**************** \NLDROP has no preceding nodes, but has following nodes **************
+
+  % general rule
+  \item{\verb+*[^#*]/+$\NLDROP$}\\
+  remove the $\NLDROP$ and insert it before its parent.
+
+  % 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.
+
   %****************************************************************************************
   %***************************** epsilon-rules with \NLDROP_n *****************************
   %****************************************************************************************
@@ -544,7 +559,7 @@ cursor with \ONODE{}, append $\tadvance$ after the \ONODE{} node
   remove the $\NLDROP_n$ and append it as last child of the \ROW{} node.
 
   \item{\verb+table[^#$]/+$\NLDROP_n$}\\
-  replace the \texttt{table} with the cursor.$\NLDROP_n$.
+  replace the \texttt{table} with the cursor.%$\NLDROP_n$.
 
   \item{\verb+g[@id][^#$]/+$\NLDROP_n$}\\
   replace the \G{} node with the $\NLDROP_n$.