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

clarified imports;
2020-04-21, by wenzelm
more robust judgment handling
2020-04-20, by haftmann
Sketch and explore again
2020-04-19, by paulson
removal of symmetries in Polytope, plus some tidying
2020-04-19, by paulson
Sketch_and_Explore — oops
2020-04-19, by paulson
the rest of the applys
2020-04-19, by paulson
more applys
2020-04-18, by paulson
merged
2020-04-17, by paulson
New theory Library/List_Lenlexorder.thy, a type class instantiation for well-ordering lists
2020-04-17, by paulson
discontinued somewhat incoherent patches (see also 3b36fc4916af);
2020-04-17, by wenzelm
use friendlier package;
2020-04-17, by wenzelm
removed LaTeX package and hack to avoid ALLCAPS headers
2020-04-17, by blanchet
use friendlier package
2020-04-17, by blanchet
move virtual machine node;
2020-04-16, by wenzelm
generalized
2020-04-16, by haftmann
more theorems
2020-04-16, by haftmann
another rule on numerals
2020-04-16, by haftmann
bit on numerals
2020-04-16, by haftmann
more complete rules on numerals
2020-04-16, by haftmann
more complete rules on numerals
2020-04-16, by haftmann
removed obsolete RC tags;
2020-04-16, by wenzelm
merged
2020-04-15, by wenzelm
Added tag Isabelle2020 for changeset abf3e80bd815
2020-04-15, by wenzelm
tuned NEWS; Isabelle2020
2020-04-13, by wenzelm
tuned NEWS;
2020-04-12, by wenzelm
tuned message;
2020-04-13, by wenzelm
tuned message;
2020-04-13, by wenzelm
clarified signature;
2020-04-13, by wenzelm
more cleaning up Homotopy
2020-04-12, by paulson
cleaning up Homotopy
2020-04-12, by paulson
merged
2020-04-10, by paulson
more removal of applys
2020-04-10, by paulson
avoid hard-wired stuff: configure via plugin services;
2020-04-09, by wenzelm
tuned;
2020-04-09, by wenzelm
tuned;
2020-04-09, by wenzelm
clarified init of settings vs. services;
2020-04-08, by wenzelm
tuned message;
2020-04-08, by wenzelm
merged
2020-04-08, by wenzelm
another isabelle_scala_service;
2020-04-08, by wenzelm
tuned;
2020-04-08, by wenzelm
tuned -- avoid deprecated operations;
2020-04-08, by wenzelm
more general support for isabelle_scala_service;
2020-04-08, by wenzelm
merged
2020-04-08, by wenzelm
merged
2020-04-08, by wenzelm
Added tag Isabelle2020-RC5 for changeset 8ed68b2aeba1
2020-04-08, by wenzelm
more robust: notably for sledgehammer with 'using' and prover=cvc4;
2020-04-04, by wenzelm
NEWS;
2020-04-07, by wenzelm
more careful handling of interrupts, notably for Isabelle/jEdit Scala Console;
2020-04-07, by wenzelm
clarified signature: more uniform treatment of stopped/interrupted state;
2020-04-07, by wenzelm
proper asynchronous GUI interaction for somewhat heavy JEdit_Sessions.session_build check;
2020-04-07, by wenzelm
tuned signature --- avoid confusion with init_view(buffer: Buffer, text_area: JEditTextArea);
2020-04-07, by wenzelm
merged
2020-04-07, by nipkow
more automation and clarification
2020-04-07, by nipkow
merged
2020-04-07, by paulson
removed more applys
2020-04-06, by paulson
merged;
2020-04-06, by wenzelm
more robust interrupts;
2020-04-06, by wenzelm
tuned message;
2020-04-06, by wenzelm
tuned;
2020-04-06, by wenzelm
NEWS;
2020-04-06, by wenzelm

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

isabelle