lib/encodings/isabelle-0
2000-09-15 wenzelm 2000-09-15 renamed "bow" to "frown";
2000-09-03 wenzelm 2000-09-03 GPLed;
1999-02-12 oheimb 1999-02-12 renamed space2 to spacespace
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 tuned format;
1997-04-02 wenzelm 1997-04-02 The isabelle-0 encoding table.