Sat, 04 Dec 2021 12:38:32 +0100 wenzelm Added tag Isabelle2021-1-RC5 for changeset 8baf2e8b16e2
Fri, 03 Dec 2021 20:11:21 +0100 wenzelm more documentation about Type/Const antiquotations;
Fri, 03 Dec 2021 15:11:16 +0100 wenzelm more documentation about document build options;
Fri, 03 Dec 2021 13:32:58 +0100 wenzelm address problems with launch4j and jdk-17 (see also 41d009462d3c, copy of 41d009462d3c);
Thu, 02 Dec 2021 12:46:29 +0100 wenzelm tuned --- fewer IDE warnings;
Tue, 30 Nov 2021 11:31:07 +0100 wenzelm more robust physical timeout (despite 1bea05713dde), especially relevant for quickcheck where large unary numerals may cause excessive heap allocations and resulting GC is better included in the timing;
Sun, 28 Nov 2021 19:15:12 +0100 desharna added definitions multp{DM,HO} and corresponding lemmas
Sun, 28 Nov 2021 19:12:48 +0100 desharna added wfP_less to wellorder and wfP_less_multiset
Sun, 28 Nov 2021 09:57:48 +0100 desharna restored lemmas less_multiset{DM,HO} inadvertently changed by c256bba593f3
Sat, 27 Nov 2021 22:20:27 +0100 desharna merged
Sat, 27 Nov 2021 14:45:00 +0100 desharna added lemmas irreflp_{less,greater} to preorder and {trans,irrefl}_mult{,p} to Multiset
Sat, 27 Nov 2021 10:46:57 +0100 desharna redefined less_multiset to be based on multp
Sat, 27 Nov 2021 10:28:48 +0100 desharna added lemmas multp_code_eq_multp and multeqp_code_eq_reflclp_multp
Sat, 27 Nov 2021 10:22:42 +0100 desharna added lemmas multp_cancel, multp_cancel_add_mset, and multp_cancel_max
Sat, 27 Nov 2021 10:16:46 +0100 desharna added lemmas multp_implies_one_step, one_step_implies_multp, and subset_implies_multp
Sat, 27 Nov 2021 10:05:59 +0100 desharna added lemma wfP_multp
Sat, 27 Nov 2021 10:01:40 +0100 desharna added lemma mono_multp
Fri, 26 Nov 2021 11:14:10 +0100 desharna added Multiset.multp as predicate equivalent of Multiset.mult
Sat, 27 Nov 2021 17:02:04 +0100 wenzelm address problems with launch4j and jdk-17 (see also 41d009462d3c);
Sat, 27 Nov 2021 15:39:56 +0100 wenzelm more robust build on midrange hardware;
Sat, 27 Nov 2021 14:55:47 +0100 wenzelm clarified tests: omit somewhat pointless (unstable) results;
Sat, 27 Nov 2021 14:31:11 +0100 wenzelm proper fields for gnuplot (amending b614e3e4146a);
Sat, 27 Nov 2021 14:03:44 +0100 wenzelm tuned output;
Sat, 27 Nov 2021 13:55:03 +0100 wenzelm tuned;
Fri, 26 Nov 2021 19:44:21 +0100 wenzelm merged
Fri, 26 Nov 2021 16:25:58 +0100 wenzelm more robust build on midrange hardware (despite 67d6f1708ea4);
Fri, 26 Nov 2021 13:45:28 +0100 wenzelm Added tag Isabelle2021-1-RC4 for changeset 2336356d4180
Fri, 26 Nov 2021 13:36:45 +0100 wenzelm updated to polyml-5.9;
Fri, 26 Nov 2021 13:07:15 +0100 wenzelm NEWS on "isabelle mirabelle";
Fri, 26 Nov 2021 13:05:36 +0100 wenzelm tuned;
Thu, 25 Nov 2021 21:31:50 +0100 wenzelm clarified default for kodkod_scala;
Thu, 25 Nov 2021 19:56:01 +0100 wenzelm maintain option kodkod_scala within theory context, to allow local modification;
Thu, 25 Nov 2021 12:54:21 +0100 wenzelm NEWS for proper release;
Thu, 25 Nov 2021 12:48:00 +0100 wenzelm updated to flatlaf-1.6.4;
Thu, 25 Nov 2021 12:36:54 +0100 wenzelm avoid broken links: auxiliary files are not yet supported;
Wed, 24 Nov 2021 22:57:33 +0100 wenzelm option document_comment_latex supports e.g. Dagstuhl LIPIcs;
Wed, 24 Nov 2021 21:04:39 +0100 wenzelm more explicit type Latex.Tags;
Wed, 24 Nov 2021 15:33:43 +0100 wenzelm more uniform treatment of optional_argument for Latex elements;
Tue, 23 Nov 2021 21:43:45 +0100 wenzelm removed pointless 'text_cartouche' command: regular 'text' already supports cartouches;
Tue, 23 Nov 2021 21:02:13 +0100 wenzelm example: alternative document headings, based on more general document output markup;
Tue, 23 Nov 2021 20:46:40 +0100 wenzelm more general document output: enclosing markup is defined in user-space;
Tue, 23 Nov 2021 17:14:55 +0100 wenzelm clarified modules (see c299abcf7081);
Tue, 23 Nov 2021 16:06:09 +0100 wenzelm output for document commands like 'section', 'text' is defined in user-space, as part of the command transaction;
Tue, 23 Nov 2021 12:29:09 +0100 wenzelm clarified modules;
Tue, 23 Nov 2021 12:04:01 +0100 wenzelm tuned signature: more explicit types for presentation;
Mon, 22 Nov 2021 23:08:57 +0100 wenzelm more robust support for Windows line-endings;
Mon, 22 Nov 2021 16:49:58 +0100 wenzelm source positions for document markup commands, e.g. to retrieve PIDE markup in presentation;
Mon, 22 Nov 2021 15:03:37 +0100 wenzelm more compact data during presentation: Entity_Context.Theory_Export instead of full Export_Theory.Theory;
Sun, 21 Nov 2021 17:42:11 +0100 wenzelm clarified system option standard values: avoid oddities like "isabelle build -o document_output" producing directories named "true";
Sat, 20 Nov 2021 20:42:41 +0100 wenzelm more symbolic latex_output via XML (using YXML within text);
Sat, 20 Nov 2021 19:39:22 +0100 wenzelm proper enclose_name (amending e77c5bfca9aa);
Sat, 20 Nov 2021 18:58:23 +0100 wenzelm Latex.Output.latex_heading depends on option document_heading_prefix, e.g. relevant for Dagstuhl LIPIcs which prefers unaliased \section etc.;
Sat, 20 Nov 2021 18:15:09 +0100 wenzelm more symbolic latex_output via XML;
Sat, 20 Nov 2021 13:53:34 +0100 wenzelm clarified hook for Mirabelle (again): cover all 'theories' sections within ROOT (see also 9ead8d9be3ab);
Sat, 20 Nov 2021 12:59:53 +0100 wenzelm tuned;
Sat, 20 Nov 2021 12:53:18 +0100 wenzelm tuned;
Fri, 19 Nov 2021 20:35:35 +0100 wenzelm updated to verit-2021.06.2-rmx;
Wed, 17 Nov 2021 20:49:09 +0100 wenzelm clarified HTML_Context.theory_exports: prefer value-oriented parallelism;
Wed, 17 Nov 2021 15:09:10 +0100 fleury generate problems with correct logic for veriT
Wed, 17 Nov 2021 17:11:57 +0100 wenzelm more parallelism, at the cost of potential duplicates of make_thy;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip