| Tue, 26 Apr 2005 19:50:57 +0200 | wenzelm | restored AUTO_BASH/PERL -- beware of ./configure! | file | diff | annotate |
| Fri, 04 Mar 2005 15:07:34 +0100 | skalberg | Removed practically all references to Library.foldr. | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Tue, 30 Jan 2001 18:48:33 +0100 | oheimb | corrected file name suffixes | file | diff | annotate |
| Fri, 19 Jan 2001 11:53:21 +0100 | wenzelm | convert legacy tactic scripts to Isabelle/Isar tactic emulation; | file | diff | annotate |