src/Pure/Isar/session.ML
2006-09-21 wenzelm 2006-09-21 member (op =);
2006-02-07 wenzelm 2006-02-07 renamed gen_duplicates to duplicates;
2006-02-06 haftmann 2006-02-06 subsituted gen_duplicates / has_duplicates for duplicates whenever appropriate
2006-01-14 wenzelm 2006-01-14 Output.error_msg;
2005-08-31 wenzelm 2005-08-31 use_dir: added copy-dump option;
2005-08-16 wenzelm 2005-08-16 use_dir: removed hidden, added doc_versions;
2005-07-06 wenzelm 2005-07-06 finish: Output.accumulated_time;
2005-07-06 wenzelm 2005-07-06 ThyInfo.time_use root;
2005-06-17 wenzelm 2005-06-17 Context.PureN;
2005-05-17 wenzelm 2005-05-17 tuned;
2005-05-17 wenzelm 2005-05-17 tuned;
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2005-01-11 berghofe 2005-01-11 Added flag for hiding proofs in documents to use_dir.
2004-10-28 webertj 2004-10-28 isatool usedir: ML root file can now be specified (previously hard-coded as ROOT.ML)
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-11-09 wenzelm 2001-11-09 File.use;
2001-10-23 wenzelm 2001-10-23 build option;
2001-10-20 wenzelm 2001-10-20 document graph option;
2001-09-27 wenzelm 2001-09-27 use_dir: verbose option;
2001-09-01 wenzelm 2001-09-01 renamed `keep_derivs' to `proofs', and made an integer;
2001-08-31 berghofe 2001-08-31 Added new argument to use_dir for derivation kind.
2001-08-30 wenzelm 2001-08-30 export name;
2001-01-18 wenzelm 2001-01-18 tuned;
2000-12-01 wenzelm 2000-12-01 use_dir: modes;
2000-07-23 wenzelm 2000-07-23 disallow duplicates in session identifiers;
2000-05-05 wenzelm 2000-05-05 GPLed;
2000-02-05 wenzelm 2000-02-05 additional tex dump;
1999-10-05 wenzelm 1999-10-05 use_dir: doc;
1999-08-17 berghofe 1999-08-17 Better handling of path for remote theory browsing information.
1999-08-17 berghofe 1999-08-17 Path for remote theory browsing information is now stored in referece variable rpath.
1999-05-17 wenzelm 1999-05-17 ThyInfo.finalize_all renamed to ThyInfo.finish;
1999-05-17 berghofe 1999-05-17 Changed interface of function use_dir.
1999-05-12 wenzelm 1999-05-12 rearranged some modules;
1999-03-11 wenzelm 1999-03-11 moved Thy/session.ML to Isar/session.ML;