src/Pure/Syntax/token_trans.ML
2001-10-16 wenzelm 2001-10-16 be more careful about token class markers;
2001-10-05 wenzelm 2001-10-05 added "num" token;
1999-05-21 wenzelm 1999-05-21 Isamode and ProofGeneral configuration moved to Pure/Interface;
1999-03-09 wenzelm 1999-03-09 token translation: real;
1998-11-29 wenzelm 1998-11-29 proof_general_trans (experimental);
1998-08-30 wenzelm 1998-08-30 made SML/NJ happy;
1998-08-28 wenzelm 1998-08-28 added emacs mode; tuned;
1997-03-03 wenzelm 1997-03-03 improved xterm, xterm_color;
1997-03-01 wenzelm 1997-03-01 added color styles; refs for test;
1997-02-28 wenzelm 1997-02-28 Token translations for xterm and LaTeX output.