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

fixed a VERY SLOW proof
2015-09-23, by paulson
SOME rather than THE makes it easy to prove equivalence with other forms of derivatives
2015-09-22, by paulson
New lemmas
2015-09-22, by paulson
Prepared two non-terminating proofs; no obvious link with my changes
2015-09-22, by paulson
added AVL and lookup function
2015-09-23, by nipkow
tuned
2015-09-23, by nipkow
merged
2015-09-22, by nipkow
unified isin-proofs
2015-09-22, by nipkow
tuned
2015-09-22, by haftmann
include some data structures into code generation
2015-09-22, by haftmann
effective revert of e6b1236f9b3d: spontaneous eta-contraction happens on the print translation level and can only be suppressed on the print translation level
2015-09-22, by haftmann
tuned references
2015-09-22, by nipkow
added red black trees
2015-09-22, by nipkow
clarified markup;
2015-09-21, by wenzelm
isabelle update_cartouches;
2015-09-21, by wenzelm
merged
2015-09-21, by wenzelm
tuned GUI;
2015-09-21, by wenzelm
removed auto update -- bad reactivity;
2015-09-21, by wenzelm
clarified isabelle.update-state;
2015-09-21, by wenzelm
more reactive update, like Output panel;
2015-09-21, by wenzelm
added isabelle update_then;
2015-09-21, by wenzelm
NEWS;
2015-09-21, by wenzelm
tuned priority (like other query operations, e.g. "find_theorems");
2015-09-21, by wenzelm
option editor_output_state;
2015-09-21, by wenzelm
obsolete, superseded by State panel;
2015-09-21, by wenzelm
added action "isabelle-update-state";
2015-09-21, by wenzelm
support for auto update via caret focus;
2015-09-21, by wenzelm
tuned signature;
2015-09-21, by wenzelm
separate panel for proof state output;
2015-09-21, by wenzelm
tuned;
2015-09-21, by wenzelm

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

isabelle