isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +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

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

isabelle