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
|