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

more options;
2017-01-14, by wenzelm
do avoid suspicious Unicode;
2017-01-14, by wenzelm
more standard header;
2017-01-14, by wenzelm
build docker image from Isabelle application bundle for Linux;
2017-01-14, by wenzelm
tuned message;
2017-01-14, by wenzelm
Added Circle_Area to HOL-Analysis examples
2017-01-13, by eberlm
tuned/minimized
2017-01-13, by nipkow
added lemma
2017-01-12, by blanchet
tuned whitespace;
2017-01-12, by wenzelm
more robust: delay switches thread context from timer to GUI and may get out of sync with revoke operation;
2017-01-12, by wenzelm
tuned signature;
2017-01-12, by wenzelm
tuned signature;
2017-01-12, by wenzelm
improved chart plotting
2017-01-11, by haftmann
augmented user aliasses
2017-01-11, by haftmann
proper treatment of utf-8
2017-01-11, by haftmann
tuned;
2017-01-11, by wenzelm
support for semantic completion;
2017-01-11, by wenzelm
generalized types in lemmas
2017-01-11, by blanchet
updated package;
2017-01-11, by wenzelm
enable vscode_unicode_symbols by default, despite asymmetry of input and output;
2017-01-11, by wenzelm
more documentation;
2017-01-11, by wenzelm
generated configuration for Prettify Symbols Mode;
2017-01-11, by wenzelm
tuned;
2017-01-11, by wenzelm
clarified text output wrt. symbols;
2017-01-11, by wenzelm
merged
2017-01-10, by wenzelm
tuned signature;
2017-01-10, by wenzelm
support "purge" operation on document model;
2017-01-10, by wenzelm
proper template;
2017-01-10, by wenzelm
tuned;
2017-01-10, by wenzelm
accomodate very big file_models and changed_files;
2017-01-10, by wenzelm
tuned;
2017-01-10, by wenzelm
tuned
2017-01-10, by nipkow
separate instance for semidom_modulo
2017-01-10, by haftmann
generalized definition
2017-01-09, by haftmann
tuned output;
2017-01-09, by wenzelm
update File_Model based on file-system events;
2017-01-09, by wenzelm
tuned;
2017-01-09, by wenzelm
clarified modules;
2017-01-09, by wenzelm
tuned;
2017-01-09, by wenzelm
tuned signature;
2017-01-09, by wenzelm
merged
2017-01-09, by nipkow
fix problems because of "surj" input abbreviation; tuned
2017-01-09, by nipkow
hide global sum
2017-01-09, by nipkow
gcd/lcm on finite sets
2017-01-09, by haftmann
moved some lemmas to appropriate places
2017-01-09, by haftmann
slightly generalized type class hierarchy concerning unit factors, to allow for lean polynomial normalization
2017-01-09, by haftmann
fixed LaTeX problems
2017-01-09, by paulson
Jordan Curve Theorem
2017-01-09, by paulson
Advanced topology
2017-01-09, by paulson
NEWS for VSCode;
2017-01-09, by wenzelm
merged
2017-01-08, by wenzelm
more documentation;
2017-01-08, by wenzelm
added node_name(String): imitate jEdit buffer operations;
2017-01-08, by wenzelm
tuned;
2017-01-08, by wenzelm
tuned signature;
2017-01-08, by wenzelm
avoid immediate editor.flush on buffer events;
2017-01-08, by wenzelm
refer to internal File_Model instead of external file;
2017-01-08, by wenzelm
tuned;
2017-01-08, by wenzelm
resolve dependencies implicitly via File_Model, without jEdit Buffer_Model;
2017-01-08, by wenzelm
tuned;
2017-01-08, by wenzelm
support for bibtex entries;
2017-01-08, by wenzelm
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