src/Pure/Thy/thy_syntax.ML
2009-03-18 wenzelm 2009-03-18 de-camelized Symbol_Pos;
2009-01-02 wenzelm 2009-01-02 more detailed inner token markup;
2009-01-02 wenzelm 2009-01-02 renamed ThyEdit (in thy_edit.ML) to ThySyntax (in thy_syntax.ML);