| 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 |