2017-01-09 wenzelm 2017-01-09 tuned signature;
2017-01-09 nipkow 2017-01-09 merged
2017-01-09 nipkow 2017-01-09 fix problems because of "surj" input abbreviation; tuned
2017-01-09 nipkow 2017-01-09 hide global sum
2017-01-09 haftmann 2017-01-09 gcd/lcm on finite sets
2017-01-09 haftmann 2017-01-09 moved some lemmas to appropriate places
2017-01-09 haftmann 2017-01-09 slightly generalized type class hierarchy concerning unit factors, to allow for lean polynomial normalization
2017-01-09 paulson 2017-01-09 fixed LaTeX problems
2017-01-09 paulson 2017-01-09 Jordan Curve Theorem
2017-01-09 paulson 2017-01-09 Advanced topology
2017-01-09 wenzelm 2017-01-09 NEWS for VSCode;
2017-01-08 wenzelm 2017-01-08 merged
2017-01-08 wenzelm 2017-01-08 more documentation;
2017-01-08 wenzelm 2017-01-08 added node_name(String): imitate jEdit buffer operations; more uniform get_file_content for external source file references;
2017-01-08 wenzelm 2017-01-08 tuned;
2017-01-08 wenzelm 2017-01-08 tuned signature;
2017-01-08 wenzelm 2017-01-08 avoid immediate editor.flush on buffer events;
2017-01-08 wenzelm 2017-01-08 refer to internal File_Model instead of external file;
2017-01-08 wenzelm 2017-01-08 tuned;
2017-01-08 wenzelm 2017-01-08 resolve dependencies implicitly via File_Model, without jEdit Buffer_Model;
2017-01-08 wenzelm 2017-01-08 tuned;
2017-01-08 wenzelm 2017-01-08 support for bibtex entries;
2017-01-08 wenzelm 2017-01-08 tuned;
2017-01-08 wenzelm 2017-01-08 tuned signature;
2017-01-08 wenzelm 2017-01-08 more explocit Document_Model.Content;
2017-01-08 wenzelm 2017-01-08 refer to bibtex entries via general Document_Model, instead of editor buffers;
2017-01-08 wenzelm 2017-01-08 clarified modules;
2017-01-07 wenzelm 2017-01-07 uniform Document.Model.node_edits (without void edits);
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-07 wenzelm 2017-01-07 tuned signature;
2017-01-07 wenzelm 2017-01-07 tuned;
2017-01-07 wenzelm 2017-01-07 clarified lazy text content;
2017-01-07 wenzelm 2017-01-07 Line.Document consists of independently allocated strings; tuned signature;
2017-01-07 wenzelm 2017-01-07 obsolete;
2017-01-07 wenzelm 2017-01-07 clarified buffer events: exit model while loading; misc tuning;
2017-01-07 wenzelm 2017-01-07 separate Buffer_Model vs. File_Model; misc tuning and clarification;
2017-01-07 wenzelm 2017-01-07 tuned;
2017-01-07 wenzelm 2017-01-07 tuned;
2017-01-06 wenzelm 2017-01-06 tuned;
2017-01-06 wenzelm 2017-01-06 manage buffer models as explicit global state; tuned signature;
2017-01-06 wenzelm 2017-01-06 tuned signature;
2017-01-07 haftmann 2017-01-07 obsolete
2017-01-05 wenzelm 2017-01-05 more informative error for spurious crash;
2017-01-05 wenzelm 2017-01-05 merged
2017-01-05 wenzelm 2017-01-05 tuned;
2017-01-05 wenzelm 2017-01-05 dummy File_Watcher for Windows (spurious crashes seen on Windows 7);
2017-01-05 wenzelm 2017-01-05 more robust treatment of logical lines;
2017-01-05 wenzelm 2017-01-05 updated package;
2017-01-05 wenzelm 2017-01-05 proper name for recursive grammar; pro-forma update of fileTypes;
2017-01-05 wenzelm 2017-01-05 emit Commands_Changed for blobs as well, e.g. relevant for isabelle.vscode.Server.prover_output;
2017-01-05 wenzelm 2017-01-05 suppress empty results;
2017-01-05 wenzelm 2017-01-05 tuned;
2017-01-05 wenzelm 2017-01-05 manage document blobs as well;
2017-01-05 wenzelm 2017-01-05 misc tuning and clarification;
2017-01-05 wenzelm 2017-01-05 tuned;
2017-01-05 wenzelm 2017-01-05 tuned;
2017-01-05 wenzelm 2017-01-05 tuned;
2017-01-05 haftmann 2017-01-05 tuned structure