src/Pure/PIDE/document.scala
6 months ago ago tuned signature;
6 months ago ago clarified signature;
8 months ago ago more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
10 months ago ago clarified signature;
10 months ago ago systematic access to command ids;
11 months ago ago tuned signature;
12 months ago ago more scalable output;
13 months ago ago clarified signature: persistent results;
13 months ago ago less wasteful consolidation, based on PIDE front-end state and recent changes;
13 months ago ago clarified signature: prefer Document.Snapshot;
13 months ago ago clarified: consolidated result is last command;
13 months ago ago more node status information;
13 months ago ago tuned signature;
13 months ago ago tuned signature;
13 months ago ago clarified signature: Known.theories retains Document.Node.Entry (with header);
13 months ago ago retain isolated blob nodes (amending deb2fcbda16e): avoid failure of Session.handle_change with "Missing blob", when opening theory with load command later;
13 months ago ago clarified signature -- avoid confusion with Resources.is_hidden;
14 months ago ago more robust: self-export only;
14 months ago ago store exports within PIDE command state;
14 months ago ago purge history more thoroughly (see also 3156faac30a7);
16 months ago ago clarified theory node name;
16 months ago ago more position information;
16 months ago ago update XML cache for slightly modified messages;
18 months ago ago tuned signature;
18 months ago ago tuned signature;
18 months ago ago implicit thy_load context for bibtex files;
19 months ago ago store full blob source for the sake of markup_to_XML;
19 months ago ago PIDE markup for non-theory nodes;
19 months ago ago tuned signature;
19 months ago ago clarified signature;
19 months ago ago tuned output;
19 months ago ago removed inaccessible blobs from Document.Nodes;
19 months ago ago purge hidden nodes more thoroughly: is_hidden may become true only later;
20 months ago ago tuned signature;
21 months ago ago more robust: allow Windows file names;
21 months ago ago tuned signature;
21 months ago ago tuned signature;
21 months ago ago tuned signature;
23 months ago ago maintain "consolidated" status of theory nodes, which means all evals are finished (but not necessarily prints nor imports);
2017-06-26 ago proper bootstrap_name (amending b42743f5b595);
2017-06-21 ago tuned signature;
2017-06-19 ago clarified signature;
2017-06-08 ago tuned signature;
2017-06-08 ago clarified signature;
2017-06-08 ago HTML preview based on PIDE markup;
2017-04-12 ago clarified loaded_theories: map to qualified theory name;
2017-04-08 ago more qualifier treatment, but in the end it is still ignored;
2017-04-08 ago more operations;
2017-04-08 ago tuned signature;
2017-04-06 ago tuned signature;
2017-04-03 ago tuned signature;
2017-04-03 ago simplified direct theory name (again, see also 570ba266f5b5, 2a7f9e79cb28);
2017-04-03 ago tuned;
2017-04-03 ago tuned signature;
2017-03-20 ago tuned signature;
2017-03-14 ago more abstract module Document;
2017-03-12 ago clarified current_command: index refers to node content, negative index means first command;
2017-03-12 ago discontinued pointless Text.Length: Javascript and Java agree in old-fashioned UTF-16;
2017-03-12 ago tuned;
2017-03-11 ago tuned;