]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TPushLexer.cc
*/
#include <string>
+#include <cctype>
+#include <cassert>
#include "TToken.hh"
#include "TPushLexer.hh"
{
buffer.erase();
state = ACCEPT;
+
+ displayCursor();
}
void