src/Pure/PIDE/resources.scala
19 months ago wenzelm 2017-10-05 clarified modules;
19 months ago wenzelm 2017-10-05 tuned signature;
19 months ago wenzelm 2017-09-29 tuned signature;
19 months ago wenzelm 2017-09-29 tuned;
20 months ago wenzelm 2017-09-28 session-qualified theory names are mandatory;
20 months ago wenzelm 2017-09-27 maintain loaded_files for each theory;
20 months ago wenzelm 2017-09-27 clarified: more uniform results;
20 months ago wenzelm 2017-09-27 slightly more parallelism;
20 months ago wenzelm 2017-09-27 prefer sequential file-system access, but parallel parse;
20 months ago wenzelm 2017-09-27 tuned;
20 months ago wenzelm 2017-09-26 clarified pure_files, based on uniform loaded_files;
20 months ago wenzelm 2017-09-26 tuned;
2017-04-21 wenzelm 2017-04-21 eliminated default_qualifier: just a constant;
2017-04-21 wenzelm 2017-04-21 tuned;
2017-04-18 wenzelm 2017-04-18 actually qualify theory names;
2017-04-17 wenzelm 2017-04-17 tuned signature;
2017-04-17 wenzelm 2017-04-17 tuned;
2017-04-17 wenzelm 2017-04-17 tuned signature;
2017-04-17 wenzelm 2017-04-17 tuned signature;
2017-04-17 wenzelm 2017-04-17 tuned signature;
2017-04-13 wenzelm 2017-04-13 tuned signature (again);
2017-04-12 wenzelm 2017-04-12 tuned;
2017-04-12 wenzelm 2017-04-12 clarified loaded_theories: map to qualified theory name; proper theory_name for PIDE editors;
2017-04-12 wenzelm 2017-04-12 tuned;
2017-04-10 wenzelm 2017-04-10 proper import qualifier for global theories; clarified uniqueness;
2017-04-10 wenzelm 2017-04-10 clarified signature;
2017-04-08 wenzelm 2017-04-08 more qualifier treatment, but in the end it is still ignored;
2017-04-08 wenzelm 2017-04-08 more session_base information in ML; tuned signature;
2017-04-08 wenzelm 2017-04-08 tuned signature;
2017-04-07 wenzelm 2017-04-07 more explicit lookup of loaded_theories: base names allowed here; no base names for known_theories;
2017-04-07 wenzelm 2017-04-07 tuned;
2017-04-06 wenzelm 2017-04-06 tuned signature;
2017-04-06 wenzelm 2017-04-06 more accurate qualified lookup; tuned;
2017-04-05 wenzelm 2017-04-05 uniform import_name, with treatment of global and qualified theories;
2017-04-04 wenzelm 2017-04-04 clarified: allow to qualify theories from ROOT;
2017-04-04 wenzelm 2017-04-04 refer to global_theories from all sessions, before selection;
2017-04-04 wenzelm 2017-04-04 back to more liberal imports (amending 908a27a4b9c9): tolerate mixed situations like "GCD" vs. "~~/src/HOL/GCD";
2017-04-03 wenzelm 2017-04-03 clarified imports;
2017-04-03 wenzelm 2017-04-03 tuned signature;
2017-04-03 wenzelm 2017-04-03 provide session qualifier via resources;
2017-04-03 wenzelm 2017-04-03 proper qualifier (again, see df4cd6e1fdfa);
2017-04-03 wenzelm 2017-04-03 simplified direct theory name (again, see also 570ba266f5b5, 2a7f9e79cb28);
2017-04-03 wenzelm 2017-04-03 tuned signature;
2017-03-15 wenzelm 2017-03-15 unused;
2017-03-15 wenzelm 2017-03-15 tuned signature;
2017-01-09 wenzelm 2017-01-09 clarified modules; tuned;
2017-01-09 wenzelm 2017-01-09 tuned signature;
2017-01-08 wenzelm 2017-01-08 tuned signature;
2017-01-08 wenzelm 2017-01-08 resolve dependencies implicitly via File_Model, without jEdit Buffer_Model;
2017-01-07 wenzelm 2017-01-07 clarified check_thy_reader: check node_name here;
2017-01-07 wenzelm 2017-01-07 more uniform node_header (non-strict); removed dead code;
2017-01-07 wenzelm 2017-01-07 tuned signature;
2017-01-05 wenzelm 2017-01-05 tuned;
2017-01-03 wenzelm 2017-01-03 clarified master_dir: file-URL;
2016-12-31 wenzelm 2016-12-31 tuned signature;
2016-12-26 wenzelm 2016-12-26 more uniform treatment of file name vs. theory name and special header;
2016-12-22 wenzelm 2016-12-22 clarified modules;
2016-12-22 wenzelm 2016-12-22 tuned;
2016-12-21 wenzelm 2016-12-21 clarified signature;
2016-08-02 wenzelm 2016-08-02 tuned signature -- prover-independence is presently theoretical;