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