src/Pure/PIDE/resources.scala
19 months ago wenzelm 2017-09-27 slightly more parallelism;
19 months ago wenzelm 2017-09-27 prefer sequential file-system access, but parallel parse;
19 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;
2016-08-02 wenzelm 2016-08-02 support 'abbrevs' within theory header; simplified 'keywords': no abbreviations here;
2016-04-18 wenzelm 2016-04-18 tuned signature;
2016-03-08 wenzelm 2016-03-08 more abstract Session.start, without prover command-line; Isabelle_Process.apply is directly based on ML_Process; clarified Isabelle_Process.main command-line; tuned signature;
2016-03-07 wenzelm 2016-03-07 Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined; more robust File.bash_escape; more robust treatment of ML_OPTIONS; clarified prover args (again);
2016-02-13 wenzelm 2016-02-13 clarified bash process -- similar to ML version;
2015-07-30 wenzelm 2015-07-30 clarified management of (single) session; proper Debugger.Update events;
2015-03-16 wenzelm 2015-03-16 tuned message -- include completion;