| Tue, 06 Nov 2001 01:14:46 +0100 | wenzelm | added "locale", "print_locale", "print_locales"; | file | diff | annotate |
| Sun, 04 Nov 2001 20:56:19 +0100 | wenzelm | updated; | file | diff | annotate |
| Sat, 03 Nov 2001 18:44:49 +0100 | wenzelm | updated; | file | diff | annotate |
| Sat, 13 Oct 2001 21:46:53 +0200 | wenzelm | updated; | file | diff | annotate |
| Thu, 04 Oct 2001 11:22:10 +0200 | wenzelm | updated; | file | diff | annotate |
| Fri, 28 Sep 2001 16:15:26 +0200 | wenzelm | updated; | file | diff | annotate |
| Fri, 31 Aug 2001 18:43:27 +0200 | wenzelm | keyword classification tables for Isabelle/Isar Proof General | file | diff | annotate |