| Tue, 29 Apr 1997 17:44:26 +0200 | wenzelm | fixed enc_start; | 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:11:32 +0200 | wenzelm | GENERATED TEXT; | file | diff | annotate |
| Sun, 13 Apr 1997 19:10:54 +0200 | wenzelm | GENERATED TEXT; | file | diff | annotate |
| Fri, 04 Apr 1997 19:07:54 +0200 | wenzelm | fixed diagnostic output of print modes; | file | diff | annotate |
| Fri, 07 Mar 1997 15:32:16 +0100 | wenzelm | removed lparr, rparr, empty, succeq, ge, rrightarrow; | file | diff | annotate |
| Fri, 21 Feb 1997 16:35:49 +0100 | wenzelm | replaced natural by subset; | file | diff | annotate |
| Mon, 16 Dec 1996 15:45:02 +0100 | oheimb | added consistency comment | file | diff | annotate |
| Mon, 16 Dec 1996 15:45:01 +0100 | oheimb | added consistency comment | file | diff | annotate |
| Mon, 16 Dec 1996 12:36:35 +0100 | wenzelm | tuned read and write functions; | file | diff | annotate |
| Mon, 16 Dec 1996 10:04:12 +0100 | wenzelm | added write_charnames'; | file | diff | annotate |
| Tue, 10 Dec 1996 12:55:00 +0100 | wenzelm | added read_charnames, write_charnames; | file | diff | annotate |
| Wed, 27 Nov 1996 16:41:27 +0100 | wenzelm | improved some symbol names; | file | diff | annotate |
| Tue, 19 Nov 1996 13:20:38 +0100 | wenzelm | tuned some char names; | file | diff | annotate |
| Tue, 19 Nov 1996 13:04:07 +0100 | wenzelm | added this file; | file | diff | annotate |