src/Pure/Thy/thy_load.ML
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.