src/Pure/Isar/session.ML
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;