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

updated screenshots;
2015-05-01, by wenzelm
updated Eisbach, using version 5df3d8c72403 of its Bitbucket repository;
2015-04-30, by wenzelm
avoid potential conflict with Eisbach keyword (although keywords are local to the theory context);
2015-04-30, by wenzelm
allow sorts on dead variables in BNFs
2015-04-28, by blanchet
tuned whitespace;
2015-04-28, by wenzelm
avoid auto-load dialog while exit/closeAllBuffers is active: the perspective manager happens to indicate this precisely in jEdit 5.2.0;
2015-04-28, by wenzelm
code equations as displayable content in code dependency graph
2015-04-27, by wenzelm
filtering of reflexive dependencies avoids problems with state-of-the-art graph browser;
2015-04-27, by wenzelm
added checkbox for try0;
2015-04-25, by wenzelm
made CVC4 support work also without unsat cores
2015-04-25, by blanchet
more paranoia settings, e.g. relevant for Ubuntu 15.04;
2015-04-24, by wenzelm
Added tag Isabelle2015-RC2 for changeset 8483c2883c8c
2015-04-24, by wenzelm
always traverse required nodes, e.g. relevant for inlined errors of imported theory header;
2015-04-24, by wenzelm
tuned;
2015-04-24, by wenzelm

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

isabelle