src/Pure/Syntax/symbol_font.ML
1997-04-29 wenzelm 1997-04-29 fixed enc_start;
1997-04-29 wenzelm 1997-04-29 deactivated new symbols (not yet printable on xterm, emacs);
1997-04-29 wenzelm 1997-04-29 renamed \<choice> to \<orelse>;
1997-04-29 wenzelm 1997-04-29 added new chars;
1997-04-16 wenzelm 1997-04-16 removed lceil, rceil, lfloor, rfloor;
1997-04-13 wenzelm 1997-04-13 GENERATED TEXT;
1997-04-13 wenzelm 1997-04-13 GENERATED TEXT;
1997-04-04 wenzelm 1997-04-04 fixed diagnostic output of print modes;
1997-03-07 wenzelm 1997-03-07 removed lparr, rparr, empty, succeq, ge, rrightarrow; added turnstile, Turnstile, cdot, approx, Colon, bow; renamed tick to surd;
1997-02-21 wenzelm 1997-02-21 replaced natural by subset;
1996-12-16 oheimb 1996-12-16 added consistency comment
1996-12-16 oheimb 1996-12-16 added consistency comment
1996-12-16 wenzelm 1996-12-16 tuned read and write functions;
1996-12-16 wenzelm 1996-12-16 added write_charnames';
1996-12-10 wenzelm 1996-12-10 added read_charnames, write_charnames;
1996-11-27 wenzelm 1996-11-27 improved some symbol names;
1996-11-19 wenzelm 1996-11-19 tuned some char names;
1996-11-19 wenzelm 1996-11-19 added this file;