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 |