2017-01-08 ago wenzelm tuned;
2017-01-08 ago wenzelm support for bibtex entries;
2017-01-08 ago wenzelm tuned;
2017-01-08 ago wenzelm tuned signature;
2017-01-08 ago wenzelm more explocit Document_Model.Content;
2017-01-08 ago wenzelm refer to bibtex entries via general Document_Model, instead of editor buffers;
2017-01-08 ago wenzelm clarified modules;
2017-01-07 ago wenzelm uniform Document.Model.node_edits (without void edits);
2017-01-07 ago wenzelm clarified check_thy_reader: check node_name here;
2017-01-07 ago wenzelm more uniform node_header (non-strict);
2017-01-07 ago wenzelm tuned signature;
2017-01-07 ago wenzelm tuned signature;
2017-01-07 ago wenzelm tuned;
2017-01-07 ago wenzelm clarified lazy text content;
2017-01-07 ago wenzelm Line.Document consists of independently allocated strings;
2017-01-07 ago wenzelm obsolete;
2017-01-07 ago wenzelm clarified buffer events: exit model while loading;
2017-01-07 ago wenzelm separate Buffer_Model vs. File_Model;
2017-01-07 ago wenzelm tuned;
2017-01-07 ago wenzelm tuned;
2017-01-06 ago wenzelm tuned;
2017-01-06 ago wenzelm manage buffer models as explicit global state;
2017-01-06 ago wenzelm tuned signature;
2017-01-07 ago haftmann obsolete
2017-01-05 ago wenzelm more informative error for spurious crash;
2017-01-05 ago wenzelm merged
2017-01-05 ago wenzelm tuned;
2017-01-05 ago wenzelm dummy File_Watcher for Windows (spurious crashes seen on Windows 7);
2017-01-05 ago wenzelm more robust treatment of logical lines;
2017-01-05 ago wenzelm updated package;
2017-01-05 ago wenzelm proper name for recursive grammar;
2017-01-05 ago wenzelm emit Commands_Changed for blobs as well, e.g. relevant for isabelle.vscode.Server.prover_output;
2017-01-05 ago wenzelm suppress empty results;
2017-01-05 ago wenzelm tuned;
2017-01-05 ago wenzelm manage document blobs as well;
2017-01-05 ago wenzelm misc tuning and clarification;
2017-01-05 ago wenzelm tuned;
2017-01-05 ago wenzelm tuned;
2017-01-05 ago wenzelm tuned;
2017-01-05 ago haftmann tuned structure
2017-01-05 ago haftmann lead_coeff is more appropriate as abbreviation
2017-01-05 ago haftmann more lemmas;
2017-01-05 ago paulson covering space lift lemmas
2017-01-05 ago paulson facts about ANRs, ENRs, covering spaces
2017-01-05 ago paulson New theory of arcwise connected sets and other new material
2017-01-05 ago paulson connectedness, circles not simply connected , punctured universe
2017-01-05 ago paulson New material about path connectedness, etc.
2017-01-04 ago haftmann tuned NEWS
2017-01-04 ago haftmann reworked to provide auxiliary operations Euclidean_Algorithm.* to instantiate gcd etc. for euclidean rings
2017-01-04 ago haftmann moved euclidean ring to HOL
2017-01-04 ago haftmann reshaped euclidean semiring into hierarchy of euclidean semirings culminating in uniquely determined euclidean divion
2017-01-04 ago wenzelm proper registration of implicitly loaded files;
2017-01-04 ago wenzelm tuned;
2017-01-04 ago wenzelm merged
2017-01-04 ago wenzelm more file types;
2017-01-04 ago wenzelm tuned;
2017-01-04 ago wenzelm proper interpretation of Resources.source_file as platform file;
2017-01-04 ago wenzelm clarified Document.Node.Name (again): canonical platform file;
2017-01-04 ago wenzelm Windows UNC path is plain file;
2017-01-04 ago wenzelm clarified file URIs;