| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Fri, 09 Nov 2001 00:17:09 +0100 | wenzelm | File.use; | file | diff | annotate |
| Tue, 23 Oct 2001 22:53:08 +0200 | wenzelm | build option; | file | diff | annotate |
| Sat, 20 Oct 2001 20:21:40 +0200 | wenzelm | document graph option; | file | diff | annotate |
| Thu, 27 Sep 2001 12:24:02 +0200 | wenzelm | use_dir: verbose option; | file | diff | annotate |
| Sat, 01 Sep 2001 00:14:16 +0200 | wenzelm | renamed `keep_derivs' to `proofs', and made an integer; | file | diff | annotate |
| Fri, 31 Aug 2001 16:22:48 +0200 | berghofe | Added new argument to use_dir for derivation kind. | file | diff | annotate |
| Thu, 30 Aug 2001 22:50:01 +0200 | wenzelm | export name; | file | diff | annotate |
| Thu, 18 Jan 2001 20:40:47 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 01 Dec 2000 19:43:57 +0100 | wenzelm | use_dir: modes; | file | diff | annotate |
| Sun, 23 Jul 2000 12:08:07 +0200 | wenzelm | disallow duplicates in session identifiers; | file | diff | annotate |
| Fri, 05 May 2000 22:09:41 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Sat, 05 Feb 2000 16:57:02 +0100 | wenzelm | additional tex dump; | file | diff | annotate |
| Tue, 05 Oct 1999 15:35:34 +0200 | wenzelm | use_dir: doc; | file | diff | annotate |
| Tue, 17 Aug 1999 19:24:00 +0200 | berghofe | Better handling of path for remote theory browsing information. | file | diff | annotate |
| Tue, 17 Aug 1999 14:00:30 +0200 | berghofe | Path for remote theory browsing information is now stored in referece variable rpath. | file | diff | annotate |
| Mon, 17 May 1999 21:33:22 +0200 | wenzelm | ThyInfo.finalize_all renamed to ThyInfo.finish; | file | diff | annotate |
| Mon, 17 May 1999 16:59:49 +0200 | berghofe | Changed interface of function use_dir. | file | diff | annotate |
| Wed, 12 May 1999 16:54:31 +0200 | wenzelm | rearranged some modules; | file | diff | annotate |
| Thu, 11 Mar 1999 12:32:40 +0100 | wenzelm | moved Thy/session.ML to Isar/session.ML; | file | diff | annotate |