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

avoid highlighted area getting "stuck" after edit;
2015-11-02, by wenzelm
clarified completion of Isabelle symbols within document source;
2015-11-02, by wenzelm
more accurate imports: allow re-uses of base names in PIDE interaction (amending 60c159d490a2);
2015-11-02, by wenzelm
merged
2015-11-02, by nipkow
tuned names and optimized comparison order
2015-11-02, by nipkow
updated CVC4 component to deal with paths with whitespace
2015-11-02, by blanchet
Merged
2015-11-02, by eberlm
Rounding function, uniform limits, cotangent, binomial identities
2015-11-02, by eberlm
merged
2015-10-31, by wenzelm
back to traditional Metal as default, and thus evade current problems with Nimbus scrollbar slider;
2015-10-31, by wenzelm
global start time as reference point;
2015-10-31, by wenzelm
tuned signature -- clarified modules;
2015-10-30, by wenzelm
obsolete (see 9c6346319eee, 7924d61b50cf);
2015-10-30, by wenzelm
added splay trees
2015-10-30, by nipkow
added many small lemmas about setsum/setprod/powr/...
2015-10-29, by eberlm
no icons here -- not a standalone window;
2015-10-27, by wenzelm
workaround for problem with C-1, C-2, C-3 seen on Slovak QWERTY keyboard;
2015-10-27, by wenzelm
removed presumably obsolete workaround (see 7924d61b50cf);
2015-10-27, by wenzelm
Cauchy's integral formula, required lemmas, and a bit of reorganisation
2015-10-27, by paulson
merged
2015-10-26, by paulson
new lemmas about topology, etc., for Cauchy integral formula
2015-10-26, by paulson
adapted to 436b7fe89cdc
2015-10-26, by nipkow
clarified Latex.environment (again, amending e16649b70107): avoid additional paragraph, e.g. relevant for option [display];
2015-10-26, by wenzelm
added 234-trees (slow)
2015-10-25, by nipkow
added 234-Trees (slow)
2015-10-25, by nipkow
tuned
2015-10-25, by nipkow
more uniform command-line for "isabelle jedit" and the isabelle.Main app wrapper;
2015-10-24, by wenzelm
updated to jedit-5.3.0 and SideKick 1.8;
2015-10-23, by wenzelm
updated to jdk-8u66;
2015-10-23, by wenzelm
print thm wrt. local shyps (from full proof context);
2015-10-23, by wenzelm
clarified modules;
2015-10-23, by wenzelm
proper transfer of stored facts;
2015-10-23, by wenzelm
tuned;
2015-10-22, by wenzelm
more robust ASCII output: avoid ligatures of quotes;
2015-10-22, by wenzelm
tuned;
2015-10-22, by wenzelm
more control symbols;
2015-10-22, by wenzelm
clarified scan_cartouche_depth (amending 8284c0d5bf52): finish after outermost cartouche;
2015-10-22, by wenzelm
rendering for \<^verbatim>;
2015-10-21, by wenzelm
Isabelle fonts via external component;
2015-10-21, by wenzelm
tuned document;
2015-10-21, by wenzelm
tuned document;
2015-10-21, by wenzelm
added glyphs 0x25a9 from DejaVuSansMono;
2015-10-21, by wenzelm
removed generated files from repository;
2015-10-21, by wenzelm
tuned;
2015-10-21, by wenzelm
proper spaces around @{text};
2015-10-21, by wenzelm
isabelle update_cartouches -t;
2015-10-20, by wenzelm
added isabelle update_cartouches option -t;
2015-10-20, by wenzelm
another antiquotation short form: undecorated cartouche as alias for @{text};
2015-10-20, by wenzelm
repaired document;
2015-10-19, by wenzelm
more symbols;
2015-10-19, by wenzelm
tuned English;
2015-10-19, by wenzelm
more symbols, with swapped defaults: old-style ASCII syntax uses "ASCII" print mode;
2015-10-19, by wenzelm
tuned document;
2015-10-19, by wenzelm
merged
2015-10-19, by wenzelm
avoid odd permissions of fresh tmp_file;
2015-10-19, by wenzelm
added action "isabelle-emph";
2015-10-19, by wenzelm
tuned;
2015-10-19, by wenzelm
tuned;
2015-10-19, by wenzelm
tuned text
2015-10-19, by nipkow
tuned;
2015-10-18, by wenzelm

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

isabelle