From: Paolo Marinelli <paolo.marinelli@unibo.it>
Date: Mon, 31 Mar 2003 15:41:34 +0000 (+0000)
Subject: Removed some obsolete commands.
X-Git-Tag: before_refactoring~74
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0593f47412b947a4af005b2ccec2eb13dd8dee90;p=helm.git

Removed some obsolete commands.
---

diff --git a/helm/DEVEL/mathml_editor/doc/spec.tex b/helm/DEVEL/mathml_editor/doc/spec.tex
index ed95dcf14..4495c805e 100644
--- a/helm/DEVEL/mathml_editor/doc/spec.tex
+++ b/helm/DEVEL/mathml_editor/doc/spec.tex
@@ -28,13 +28,7 @@
 \newcommand{\CELL}{\texttt{cell}}
 \newcommand{\ROW}{\texttt{row}}
 \newcommand{\SLDROP}{\blacktriangleleft}
-\newcommand{\SLDSCRIPT}{\blacktriangleleft_{s}}
 \newcommand{\NLDROP}{\vartriangleleft}
-\newcommand{\RGROUP}{\vartriangleleft_{rg}}
-\newcommand{\NLDGP}{\vartriangleleft_{g}}
-\newcommand{\NLDSCRIPT}{\vartriangleleft_{s}}
-\newcommand{\NLDMACRO}{\vartriangleleft_{c}}
-\newcommand{\NLDTABLE}{\vartriangleleft_{t}}
 
 \begin{document}