| Fri, 15 Sep 2000 00:16:36 +0200 | wenzelm | updated; | file | diff | annotate |
| Fri, 01 Sep 2000 17:54:58 +0200 | wenzelm | GPLed; | file | diff | annotate |
| 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 |