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 |