src/Pure/PIDE/resources.scala
6 months ago ago tuned signature;
6 months ago ago clarified signature;
7 months ago ago static type for Library.using: avoid Java 11 warnings on "Illegal reflective access";
8 months ago ago more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
10 months ago ago more detailed session dependencies, with conditions for theories;
10 months ago ago clarified signature;
11 months ago ago clarified signature;
13 months ago ago less wasteful consolidation, based on PIDE front-end state and recent changes;
13 months ago ago Document.update includes node consolidation / presentation as regular print operation: avoid user operations on protocol thread;
13 months ago ago tuned;
13 months ago ago clarified signature: Known.theories retains Document.Node.Entry (with header);
16 months ago ago interruptible exploration of dependencies;
18 months ago ago clarified check, notably for bibtex theory (amending 5f082b1fa9fa);
18 months ago ago proper check for imports, not just ROOT entries;
18 months ago ago tuned signature;
18 months ago ago implicit thy_load context for bibtex files;
18 months ago ago clarified signature;
19 months ago ago PIDE markup for session ROOT files;
19 months ago ago clarified theory_name vs. loaded_theory: proper import_name for already loaded theories from other sessions (amending 4c98c929a12a);
20 months ago ago tuned signature (again, see 1a9e2a2bf251);
20 months ago ago tuned signature;
20 months ago ago load theories via PIDE document update;
20 months ago ago tuned;
20 months ago ago tuned signature;
20 months ago ago clarified signature;
20 months ago ago clarified modules;
21 months ago ago more robust treatment of UTF8 in raw byte sources;
21 months ago ago clarified check, assuming that load commands are plain ASCII;
21 months ago ago more robust: allow URLs;
21 months ago ago clarified error for bad session-qualified imports;
21 months ago ago clarified modules;
21 months ago ago tuned signature;
21 months ago ago tuned signature;
21 months ago ago tuned;
21 months ago ago session-qualified theory names are mandatory;
21 months ago ago maintain loaded_files for each theory;
21 months ago ago clarified: more uniform results;
21 months ago ago slightly more parallelism;
21 months ago ago prefer sequential file-system access, but parallel parse;
21 months ago ago tuned;
22 months ago ago clarified pure_files, based on uniform loaded_files;
22 months ago ago tuned;
2017-04-21 ago eliminated default_qualifier: just a constant;
2017-04-21 ago tuned;
2017-04-18 ago actually qualify theory names;
2017-04-17 ago tuned signature;
2017-04-17 ago tuned;
2017-04-17 ago tuned signature;
2017-04-17 ago tuned signature;
2017-04-17 ago tuned signature;
2017-04-13 ago tuned signature (again);
2017-04-12 ago tuned;
2017-04-12 ago clarified loaded_theories: map to qualified theory name;
2017-04-12 ago tuned;
2017-04-10 ago proper import qualifier for global theories;
2017-04-10 ago clarified signature;
2017-04-08 ago more qualifier treatment, but in the end it is still ignored;
2017-04-08 ago more session_base information in ML;
2017-04-08 ago tuned signature;
2017-04-07 ago more explicit lookup of loaded_theories: base names allowed here;