src/Pure/Thy/thy_load.ML
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-09-01 wenzelm 2009-09-01 modernized Thy_Header;
2009-01-16 wenzelm 2009-01-16 export check_name;
2009-01-09 wenzelm 2009-01-09 added split_thy_path;
2008-05-14 wenzelm 2008-05-14 renamed Position.path to Path.position;
2008-04-10 wenzelm 2008-04-10 eliminated backpatching of load_thy;
2008-03-28 wenzelm 2008-03-28 reorganized signature of ML_Context;
2007-08-08 wenzelm 2007-08-08 simplified ThyLoad.deps_thy etc.: discontinued attached ML files;
2007-07-29 wenzelm 2007-07-29 load_thy: avoid reloading of text; tuned;
2007-07-23 wenzelm 2007-07-23 marked some CRITICAL sections;
2007-07-21 wenzelm 2007-07-21 tuned;
2007-07-20 wenzelm 2007-07-20 check_file: fall back on Path.current;
2007-07-20 wenzelm 2007-07-20 simplified ThyLoad interfaces: only one additional directory; recovered usualy load_path semantics: only basic names are looked up;
2007-07-19 wenzelm 2007-07-19 ThyHeader.read: Source.of_string_limited;
2007-07-19 wenzelm 2007-07-19 tuned signature; load_path: always used, even for partially qualified path names; check_file: precise (no adding of extensions!); misc cleanup;
2007-01-21 wenzelm 2007-01-21 moved File.use to ML_Context.use;
2006-12-29 wenzelm 2006-12-29 removed obsolete cond_add_path;
2006-12-15 wenzelm 2006-12-15 avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
2005-09-13 wenzelm 2005-09-13 export ml_exts;
2005-06-05 wenzelm 2005-06-05 tuned msg;
2005-04-21 wenzelm 2005-04-21 superceded by Pure.thy and CPure.thy;
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-08-23 berghofe 2004-08-23 Function check_file now takes optional path (current directory) as an argument.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2002-08-27 wenzelm 2002-08-27 check_file: disallow current dir (typically "");
2001-11-09 wenzelm 2001-11-09 File.use;
2000-10-18 wenzelm 2000-10-18 added path_add;
2000-08-28 wenzelm 2000-08-28 add_path: del_path first;
2000-08-19 wenzelm 2000-08-19 renamed cond_with_path to cond_add_path (add to front); improved with_path(s) (add to rear);
2000-06-21 wenzelm 2000-06-21 added with_paths;
2000-05-05 wenzelm 2000-05-05 GPLed;
2000-04-19 wenzelm 2000-04-19 check_file: keep expanded (!) absolute path;
1999-10-27 wenzelm 1999-10-27 export cond_with_path;
1999-10-26 wenzelm 1999-10-26 improved ml handling;
1999-10-21 wenzelm 1999-10-21 export thy_path;
1999-09-02 wenzelm 1999-09-02 with_path;
1999-08-06 wenzelm 1999-08-06 simplified handling of ML file; improved master info;
1999-07-12 wenzelm 1999-07-12 tmp_path: *add* path;
1999-05-12 wenzelm 1999-05-12 rearranged some modules;
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-12 wenzelm 1999-03-12 comment;
1999-02-04 wenzelm 1999-02-04 include full paths in file info; include (optional) ML file in master info;
1999-02-03 wenzelm 1999-02-03 check_thy: include ML stamp;
1999-02-03 wenzelm 1999-02-03 added reset_path; added ml_path; loader primitives: ml and time arg;
1999-01-30 wenzelm 1999-01-30 Theory loader primitives.