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 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip

tuned message;
2016-01-21, by wenzelm
more robust initialization: createMenu(_, null) is called early (during EditPane creation), thus it precedes the startup_failure dialog and could crash if PIDE.options are uninitialized;
2016-01-21, by wenzelm
report error on internal channel as well: startup_failure dialog may be too late;
2016-01-21, by wenzelm
clarified errors: more explicit treatment of uninitialized state;
2016-01-21, by wenzelm
check more files;
2016-01-20, by wenzelm
updated header;
2016-01-20, by wenzelm
tuned text
2016-02-10, by nipkow
tuned
2016-02-09, by nipkow
synchronized with book
2016-02-09, by nipkow
tuned
2016-02-09, by nipkow
avoid error in Isar proof reconstruction if no ATP proof is available
2016-02-01, by blanchet
preplaying of 'smt' and 'metis' more in sync with actual method
2016-02-01, by blanchet
avoid generating polymorphic SPASS constructs to monomorphic SPASS
2016-02-01, by blanchet
Reorganised a huge proof
2016-01-22, by paulson
back to post-release mode -- after fork point;
2016-01-20, by wenzelm
merged
2016-01-20, by wenzelm
bypass input method for better imitation of read-only mode (cf. f26a4d5e82b5): e.g. relevant for composition of ALT-u u on Mac OS X;
2016-01-20, by wenzelm
tuned;
2016-01-20, by wenzelm
clarified -- this is available on Mac OS X, too;
2016-01-20, by wenzelm
updated jdk;
2016-01-20, by wenzelm
tuned signature (according to Scala version);
2016-01-20, by wenzelm
fixed NEWS w.r.t. multisets
2016-01-20, by blanchet
added 'supset' variants for new '<#' etc. symbols on multisets
2016-01-20, by blanchet
added lemma
2016-01-20, by immler
tuned;
2016-01-20, by wenzelm
tuned;
2016-01-19, by wenzelm
tuned
2016-01-19, by nipkow
merged
2016-01-19, by nipkow
added lemma
2016-01-19, by nipkow
Added approximation of powr to NEWS/CONTRIBUTORS
2016-01-19, by Manuel Eberl

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

isabelle