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

updated screenshot;
2018-08-06, by wenzelm
updated documentation;
2018-08-06, by wenzelm
suppress verit-2016post -- not ready for release;
2018-08-02, by wenzelm
isabelle build options -c -x -B refer to imports_graph;
2018-08-01, by wenzelm
more uniform checks;
2018-08-01, by wenzelm
tuned signature;
2018-08-01, by wenzelm
tuned signature;
2018-08-01, by wenzelm
tuned signature;
2018-07-31, by wenzelm
clarified ignored span / core range: include formal comments, e.g. relevant for error messages from antiquotations;
2018-07-31, by wenzelm
tuned signature;
2018-07-31, by wenzelm
export shyps as regular typargs;
2018-08-06, by wenzelm
more uniform facts: single vs. multi;
2018-08-05, by wenzelm
explicit names for bound variables;
2018-08-05, by wenzelm
export in foundational order;
2018-08-04, by wenzelm
recovered HOL-Proofs-Lambda from 8aedca31957d: avoid problems with program extraction according to d136af442665;
2018-08-04, by wenzelm
more Pure theory content;
2018-08-04, by wenzelm
Small lemmas about analysis
2018-08-04, by eberlm
merged
2018-08-04, by paulson
de-applying
2018-08-04, by paulson
tuned output;
2018-08-03, by wenzelm
tuned signature -- removed somewhat pointless operation;
2018-08-03, by wenzelm
more operations;
2018-08-03, by wenzelm
more operations (as in ML);
2018-08-03, by wenzelm
more explicit entity kind;
2018-08-03, by wenzelm
Pure theory content;
2018-08-03, by wenzelm
tuned signature: more operations;
2018-08-02, by wenzelm
tuned signature;
2018-08-02, by wenzelm
always export Pure theory;
2018-08-02, by wenzelm
de-applying
2018-08-01, by paulson
de-applying
2018-07-31, by paulson
de-applying and removal of obsolete aliases
2018-07-29, by paulson
merged
2018-07-29, by wenzelm
Added tag Isabelle2018-RC3 for changeset 71aa5a9128c2
2018-07-29, by wenzelm
proper return code (true) if file is absent;
2018-07-28, by wenzelm
clarified word syntax for the sake of control symbols, e.g. \<^term>;
2018-07-28, by wenzelm
updated to Poly/ML fixes-5.7.1 b3d1ff33a4b4;
2018-07-28, by wenzelm
more robust: do not defer potentially slow/big lazy facts to the very end;
2018-07-28, by wenzelm
more robust: potentially a workaround for spurious HOL build problems seen by Larry Paulson;
2018-07-28, by wenzelm
tuned;
2018-07-28, by wenzelm
eliminated non-monotomnic Lazy.is_pending: Result may return to Expr due to Interrupt;
2018-07-28, by wenzelm
unused;
2018-07-28, by wenzelm
removed junk;
2018-07-27, by wenzelm
clarified documentation;
2018-07-27, by wenzelm
added check_delay / check_limit for more robust treatment of structurally broken theory sources (or genuine non-termination);
2018-07-27, by wenzelm
proper adjust_maxidx: assms could have maxidx >= 0, e.g. from command "subgoal premises";
2018-07-27, by wenzelm
proper maxidx: if x does not occur in A, its maxidx could get lost;
2018-07-27, by wenzelm
tuned;
2018-07-27, by wenzelm
more flexible session selection as in "isabelle jedit";
2018-07-26, by wenzelm
updated to jdk-8u181;
2018-07-25, by wenzelm
merged
2018-07-28, by paulson
de-applying and simplification
2018-07-28, by paulson
datatype_record produces simp theorems; contributed in part by Yu Zhang
2018-07-28, by Lars Hupel
updated to jdk-8u181;
2018-07-25, by wenzelm
de-applying
2018-07-25, by paulson
back to post-release mode -- after fork point;
2018-07-22, by wenzelm
Added tag Isabelle2018-RC2 for changeset 14167c321d22
2018-07-22, by wenzelm
tuned;
2018-07-22, by wenzelm
eliminated spurious Unicode;
2018-07-22, by wenzelm
merged
2018-07-22, by wenzelm
updated to kodkodi-1.5.2-1: modernized settings and renamed directory (same executables);
2018-07-22, by wenzelm

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

isabelle