src/Pure/Isar/session.ML
Sat, 05 Feb 2000 16:57:02 +0100 wenzelm additional tex dump;
Tue, 05 Oct 1999 15:35:34 +0200 wenzelm use_dir: doc;
Tue, 17 Aug 1999 19:24:00 +0200 berghofe Better handling of path for remote theory browsing information.
Tue, 17 Aug 1999 14:00:30 +0200 berghofe Path for remote theory browsing information is now stored in referece variable rpath.
Mon, 17 May 1999 21:33:22 +0200 wenzelm ThyInfo.finalize_all renamed to ThyInfo.finish;
Mon, 17 May 1999 16:59:49 +0200 berghofe Changed interface of function use_dir.
Wed, 12 May 1999 16:54:31 +0200 wenzelm rearranged some modules;
Thu, 11 Mar 1999 12:32:40 +0100 wenzelm moved Thy/session.ML to Isar/session.ML;
less more (0) tip