src/Pure/Isar/session.ML
2001-11-09 ago File.use;
2001-10-23 ago build option;
2001-10-20 ago document graph option;
2001-09-27 ago use_dir: verbose option;
2001-09-01 ago renamed `keep_derivs' to `proofs', and made an integer;
2001-08-31 ago Added new argument to use_dir for derivation kind.
2001-08-30 ago export name;
2001-01-18 ago tuned;
2000-12-01 ago use_dir: modes;
2000-07-23 ago disallow duplicates in session identifiers;
2000-05-05 ago GPLed;
2000-02-05 ago additional tex dump;
1999-10-05 ago use_dir: doc;
1999-08-17 ago Better handling of path for remote theory browsing information.
1999-08-17 ago Path for remote theory browsing information is now stored in referece variable rpath.
1999-05-17 ago ThyInfo.finalize_all renamed to ThyInfo.finish;
1999-05-17 ago Changed interface of function use_dir.
1999-05-12 ago rearranged some modules;
1999-03-11 ago moved Thy/session.ML to Isar/session.ML;