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

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

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

isabelle