X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2Fspecial.cc;fp=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2Fspecial.cc;h=0000000000000000000000000000000000000000;hb=f761deff2f2f8c0cce674d2885b22a94a972ea85;hp=d794ffd81270e0afbafe0da329c59eeaab90229c;hpb=841f96d4a534645067f92e9701b55edcc21e9600;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/src/special.cc b/helm/DEVEL/mathml_editor/src/special.cc
deleted file mode 100644
index d794ffd81..000000000
--- a/helm/DEVEL/mathml_editor/src/special.cc
+++ /dev/null
@@ -1,62 +0,0 @@
-
-#include <list>
-
-#include "dom.hh"
-#include "globals.hh"
-#include "TNode.hh"
-#include "TToken.hh"
-
-void finishG(const TNode&);
-
-void
-do_bgroup(const TNode& cursor)
-{
-  TNode parent = cursor.parent();
-  if (parent.isM("matrix") || parent.isM("pmatrix") ||
-      parent.isM("bordermatrix") || parent.isM("cases"))
-    {
-      TNode row = cursor.create("row");
-      TNode cell = cursor.create("cell");
-      TNode g = cursor.createG();
-      row.append(cell);
-      cell.append(g);
-      g.append(cursor);
-      parent.append(row);
-    }
-  else
-    {
-      TNode g = cursor.createG();
-      cursor.replace(g);
-      g.append(cursor);
-    }
-}
-
-
-
-
-void
-do_apostrophe(const TNode& cursor)
-{
-}
-
-void
-do_control(const TNode& cursor, const std::string& name)
-{
-}
-
-void
-do_other(const TNode& cursor, const std::string& s)
-{
-  switch (s[0])
-    {
-    case '\'': do_apostrophe(cursor); break;
-    default:
-      if (isUnicodeDigit(s[0])) do_number(cursor, s);
-      else do_control(cursor, s);
-    }
-}
-
-void
-dispatch(const TNode& cursor, const TToken& token)
-{
-