src/Pure/Thy/thy_info.ML
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-05-29 wenzelm 2004-05-29 Output.timing;
2004-05-21 wenzelm 2004-05-21 Graph.minimals;
2000-09-17 wenzelm 2000-09-17 begin_theory: removed message;
2000-09-13 wenzelm 2000-09-13 begin_theory: priority message to gain some robustness in sync communication;
2000-09-03 wenzelm 2000-09-03 added pretend_use_thy_only;
2000-09-01 wenzelm 2000-09-01 replaced writeln by priority;
2000-08-01 wenzelm 2000-08-01 tuned msg;
2000-07-27 wenzelm 2000-07-27 begin_theory: store *copy* of initial theory;
2000-07-23 wenzelm 2000-07-23 get_names: topologically sorted;
2000-07-13 wenzelm 2000-07-13 tuned cycle_msg;
2000-07-13 wenzelm 2000-07-13 tuned;
2000-06-25 wenzelm 2000-06-25 use Library.change;
2000-06-04 wenzelm 2000-06-04 do not setmp Library.timing;
2000-05-30 wenzelm 2000-05-30 global timing flag;
2000-05-05 wenzelm 2000-05-05 GPLed; improved begin_theory: proper presentation if 'files' change theory;
1999-10-27 wenzelm 1999-10-27 quiet_update_thy: ml flag; replaced broken del_deps by upd_deps; begin_theory: better handling of 'files';
1999-10-26 wenzelm 1999-10-26 improved ml handling; tuned;
1999-10-26 wenzelm 1999-10-26 added check_known_thy, if_known_thy; simplified loaded_files;
1999-10-21 wenzelm 1999-10-21 added known_thy; added touch_child_thys; tuned loaded_files;
1999-10-20 wenzelm 1999-10-20 remove_thy: warn unknown theory (rather than error);
1999-10-04 wenzelm 1999-10-04 fixed lookup_theory;
1999-09-23 wenzelm 1999-09-23 improved cycle error;
1999-08-19 wenzelm 1999-08-19 lookup_theory;
1999-08-18 wenzelm 1999-08-18 deps: include 'really' flag;
1999-08-17 wenzelm 1999-08-17 may_load_file; use_thy etc.: warn_finished; added begin_update_theory; added quiet_update_thy;
1999-08-16 wenzelm 1999-08-16 tuned msg;
1999-08-16 wenzelm 1999-08-16 fixed thy_only;
1999-08-06 wenzelm 1999-08-06 added pretend_use; simplified ML handling; loaded_files: include thy; perform Remove *before* actual deletion; perform: made bullet proof;
1999-07-27 wenzelm 1999-07-27 added update_thy_only; added theory loader action hook; added touch_all_thys; touch_thy: all_succs;
1999-07-23 wenzelm 1999-07-23 require_thy: fixed performance leak;
1999-07-06 wenzelm 1999-07-06 begin_theory: disallow finished;
1999-05-17 wenzelm 1999-05-17 cleaned comments; ThyInfo.finalize_all renamed to ThyInfo.finish; added remove_thy;
1999-05-17 berghofe 1999-05-17 Added function get_preds.
1999-04-27 wenzelm 1999-04-27 use_thy_only made pervasive;
1999-04-22 wenzelm 1999-04-22 improved auto dir handling;
1999-04-22 wenzelm 1999-04-22 use_thy etc.: may specify path prefix, which is temporarily used as load path;
1999-03-17 wenzelm 1999-03-17 fixed msg;
1999-03-17 wenzelm 1999-03-17 tuned msgs; removed verbose flag;
1999-03-12 wenzelm 1999-03-12 removed obsolete user data stuff; removed junk;
1999-03-09 wenzelm 1999-03-09 added use_path; begin_theory: include files;
1999-02-08 wenzelm 1999-02-08 tuned msgs;
1999-02-05 wenzelm 1999-02-05 time_use made pervasive; load_file: time option; tuned;
1999-02-04 wenzelm 1999-02-04 tuned;
1999-02-03 wenzelm 1999-02-03 check_thy: include ML stamp;
1999-02-03 wenzelm 1999-02-03 Theory loader database: theory and file dependencies, theory values and user data.
1998-07-29 wenzelm 1998-07-29 late setup of Pure and CPure;
1998-07-28 wenzelm 1998-07-28 theory_of renamed to theory (and made public);
1998-05-28 wenzelm 1998-05-28 tuned error msg;
1998-05-25 wenzelm 1998-05-25 tuned store_theory: theory -> unit;
1997-11-04 wenzelm 1997-11-04 removed old thy data stuff;
1997-10-24 wenzelm 1997-10-24 ProtoPure.thy etc.;
1997-10-23 wenzelm 1997-10-23 tuned;
1997-08-06 berghofe 1997-08-06 Moved functions for theory information storage / retrieval from thy_read.ML to thy_info.ML .