src/Pure/Syntax/token_trans.ML
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.