Wed, 16 Jan 2002 23:19:34 +0100 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
Tue, 16 Oct 2001 00:35:30 +0200 |
wenzelm |
be more careful about token class markers;
|
file |
diff |
annotate
|
Fri, 05 Oct 2001 21:48:04 +0200 |
wenzelm |
added "num" token;
|
file |
diff |
annotate
|
Fri, 21 May 1999 16:24:25 +0200 |
wenzelm |
Isamode and ProofGeneral configuration moved to Pure/Interface;
|
file |
diff |
annotate
|
Tue, 09 Mar 1999 12:11:29 +0100 |
wenzelm |
token translation: real;
|
file |
diff |
annotate
|
Sun, 29 Nov 1998 13:16:47 +0100 |
wenzelm |
proof_general_trans (experimental);
|
file |
diff |
annotate
|
Sun, 30 Aug 1998 15:14:42 +0200 |
wenzelm |
made SML/NJ happy;
|
file |
diff |
annotate
|
Fri, 28 Aug 1998 14:59:34 +0200 |
wenzelm |
added emacs mode;
|
file |
diff |
annotate
|
Mon, 03 Mar 1997 14:14:04 +0100 |
wenzelm |
improved xterm, xterm_color;
|
file |
diff |
annotate
|
Sat, 01 Mar 1997 20:09:50 +0100 |
wenzelm |
added color styles;
|
file |
diff |
annotate
|
Fri, 28 Feb 1997 16:42:06 +0100 |
wenzelm |
Token translations for xterm and LaTeX output.
|
file |
diff |
annotate
|