| Fri, 12 Feb 1999 14:40:56 +0100 | oheimb | renamed space2 to spacespace | file | diff | annotate |
| Tue, 29 Apr 1997 17:38:02 +0200 | wenzelm | deactivated new symbols (not yet printable on xterm, emacs); | file | diff | annotate |
| Tue, 29 Apr 1997 17:23:53 +0200 | wenzelm | renamed \<choice> to \<orelse>; | file | diff | annotate |
| Tue, 29 Apr 1997 16:39:13 +0200 | wenzelm | added new chars; | file | diff | annotate |
| Wed, 16 Apr 1997 18:53:36 +0200 | wenzelm | removed lceil, rceil, lfloor, rfloor; | file | diff | annotate |
| Sun, 13 Apr 1997 19:12:37 +0200 | wenzelm | tuned format; | file | diff | annotate |
| Wed, 02 Apr 1997 11:59:02 +0200 | wenzelm | The isabelle-0 encoding table. | file | diff | annotate |