isabelle: Graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -120 +120 +1000 +3000 +10000 tip

tuned;
2017-01-08, by wenzelm
tuned signature;
2017-01-08, by wenzelm
more explocit Document_Model.Content;
2017-01-08, by wenzelm
refer to bibtex entries via general Document_Model, instead of editor buffers;
2017-01-08, by wenzelm
clarified modules;
2017-01-08, by wenzelm
uniform Document.Model.node_edits (without void edits);
2017-01-07, by wenzelm
clarified check_thy_reader: check node_name here;
2017-01-07, by wenzelm
more uniform node_header (non-strict);
2017-01-07, by wenzelm
tuned signature;
2017-01-07, by wenzelm
tuned signature;
2017-01-07, by wenzelm
tuned;
2017-01-07, by wenzelm
clarified lazy text content;
2017-01-07, by wenzelm
Line.Document consists of independently allocated strings;
2017-01-07, by wenzelm
obsolete;
2017-01-07, by wenzelm
clarified buffer events: exit model while loading;
2017-01-07, by wenzelm
separate Buffer_Model vs. File_Model;
2017-01-07, by wenzelm
tuned;
2017-01-07, by wenzelm
tuned;
2017-01-07, by wenzelm
tuned;
2017-01-06, by wenzelm
manage buffer models as explicit global state;
2017-01-06, by wenzelm
tuned signature;
2017-01-06, by wenzelm
obsolete
2017-01-07, by haftmann
more informative error for spurious crash;
2017-01-05, by wenzelm
merged
2017-01-05, by wenzelm
tuned;
2017-01-05, by wenzelm
dummy File_Watcher for Windows (spurious crashes seen on Windows 7);
2017-01-05, by wenzelm
more robust treatment of logical lines;
2017-01-05, by wenzelm
updated package;
2017-01-05, by wenzelm
proper name for recursive grammar;
2017-01-05, by wenzelm
emit Commands_Changed for blobs as well, e.g. relevant for isabelle.vscode.Server.prover_output;
2017-01-05, by wenzelm
suppress empty results;
2017-01-05, by wenzelm
tuned;
2017-01-05, by wenzelm
manage document blobs as well;
2017-01-05, by wenzelm
misc tuning and clarification;
2017-01-05, by wenzelm
tuned;
2017-01-05, by wenzelm
tuned;
2017-01-05, by wenzelm
tuned;
2017-01-05, by wenzelm
tuned structure
2017-01-05, by haftmann
lead_coeff is more appropriate as abbreviation
2017-01-05, by haftmann
more lemmas;
2017-01-05, by haftmann
covering space lift lemmas
2017-01-05, by paulson
facts about ANRs, ENRs, covering spaces
2017-01-05, by paulson
New theory of arcwise connected sets and other new material
2017-01-05, by paulson
connectedness, circles not simply connected , punctured universe
2017-01-05, by paulson
New material about path connectedness, etc.
2017-01-05, by paulson
tuned NEWS
2017-01-04, by haftmann
reworked to provide auxiliary operations Euclidean_Algorithm.* to instantiate gcd etc. for euclidean rings
2017-01-04, by haftmann
moved euclidean ring to HOL
2017-01-04, by haftmann
reshaped euclidean semiring into hierarchy of euclidean semirings culminating in uniquely determined euclidean divion
2017-01-04, by haftmann
proper registration of implicitly loaded files;
2017-01-04, by wenzelm
tuned;
2017-01-04, by wenzelm
merged
2017-01-04, by wenzelm
more file types;
2017-01-04, by wenzelm
tuned;
2017-01-04, by wenzelm
proper interpretation of Resources.source_file as platform file;
2017-01-04, by wenzelm
clarified Document.Node.Name (again): canonical platform file;
2017-01-04, by wenzelm
Windows UNC path is plain file;
2017-01-04, by wenzelm
clarified file URIs;
2017-01-04, by wenzelm
Merge
2017-01-04, by paulson
Many new theorems, and more tidying
2017-01-04, by paulson
merged
2017-01-04, by nipkow
tuned
2017-01-04, by nipkow
more robust, notably on Windows;
2017-01-03, by wenzelm
updated package;
2017-01-03, by wenzelm
merged
2017-01-03, by wenzelm
support VSCode DocumentHighlights;
2017-01-03, by wenzelm
clarified file URLs, notably for Windows UNC paths;
2017-01-03, by wenzelm
more language support;
2017-01-03, by wenzelm
tuned whitespace;
2017-01-03, by wenzelm
proper line_offset;
2017-01-03, by wenzelm
clarified message severity, based on empirical observation of VSCode 1.8.1;
2017-01-03, by wenzelm
avoid escape of '/' in JSONFormat.quoteString;
2017-01-03, by wenzelm
more liberal drive letter, for the sake of file:// URLs;
2017-01-03, by wenzelm
clarified master_dir: file-URL;
2017-01-03, by wenzelm
A few new lemmas and needed adaptations
2017-01-03, by paulson
updated package;
2017-01-02, by wenzelm
avoid hardwired options: use isabelle.args settings instead;
2017-01-02, by wenzelm
support for Windows;
2017-01-02, by wenzelm
proper bootstrap name, e.g. for Pure.thy;
2017-01-02, by wenzelm
more robust startup;
2017-01-02, by wenzelm
more specific isabelle-ml language support;
2017-01-02, by wenzelm
tuned;
2017-01-02, by wenzelm
proper use of isabelle-ml;
2017-01-02, by wenzelm
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
2017-01-02, by wenzelm
clarified multiple tooltips;
2017-01-02, by wenzelm
proper content format;
2017-01-02, by wenzelm
more syntax;
2017-01-02, by wenzelm
more syntax;
2017-01-02, by wenzelm
tuned;
2017-01-02, by wenzelm
tuned;
2017-01-02, by wenzelm
more keywords;
2017-01-02, by wenzelm
tuned;
2017-01-02, by wenzelm
proper packaging;
2017-01-01, by wenzelm
generate uuid;
2017-01-01, by wenzelm
generate static TextMate grammar for VSCode editor;
2017-01-01, by wenzelm
proper default;
2017-01-01, by wenzelm
clarified file name;
2017-01-01, by wenzelm
tuned;
2017-01-01, by wenzelm
more configuration;
2017-01-01, by wenzelm
automatically build session image;
2017-01-01, by wenzelm
tuned signature;
2017-01-01, by wenzelm
just one synchronized access to global state: works recursively on JVM;
2017-01-01, by wenzelm
clarified modules;
2017-01-01, by wenzelm
clarified file URI operations;
2017-01-01, by wenzelm
more precise markup;
2016-12-31, by wenzelm
automatically resolve dependencies from document models and file-system;
2016-12-31, by wenzelm
clarified;
2016-12-31, by wenzelm
tuned;
2016-12-31, by wenzelm
ignore message;
2016-12-31, by wenzelm
clarified node_visible;
2016-12-31, by wenzelm
tuned signature;
2016-12-31, by wenzelm
proper state update;
2016-12-31, by wenzelm
proper log;
2016-12-31, by wenzelm
tuned;
2016-12-31, by wenzelm
tuned signature;
2016-12-31, by wenzelm
tuned signature;
2016-12-31, by wenzelm
proper import_name;
2016-12-31, by wenzelm
more elementary rules about div / mod on int
2016-12-31, by haftmann
complete set of cases rules for integers known to be (non-)positive/negative;
2016-12-30, by haftmann
more facts on sgn, abs
2016-12-30, by haftmann