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