Mon, 03 Feb 2020 18:22:59 +0100 nipkow tuned
Mon, 03 Feb 2020 16:49:44 +0100 nipkow added Interval_Tree.thy
Sat, 01 Feb 2020 19:10:40 +0100 haftmann more specific class assumptions
Sat, 01 Feb 2020 19:10:37 +0100 haftmann more theorems
Tue, 28 Jan 2020 20:26:23 +0100 wenzelm ignore generated dependency files (see 91d5a8255c98, fd5cd1daf6a9);
Tue, 28 Jan 2020 14:59:54 +0000 paulson Tidied up some messy proofs
Sun, 26 Jan 2020 20:35:32 +0000 haftmann sketches of ideas still to come
Sun, 26 Jan 2020 20:35:32 +0000 haftmann more theorems
Sun, 26 Jan 2020 20:35:31 +0000 haftmann generalized
Sun, 26 Jan 2020 20:35:30 +0000 haftmann tuned
Mon, 27 Jan 2020 14:58:17 +0000 paulson Two lemmas about nsets
Mon, 27 Jan 2020 14:32:43 +0000 paulson A few lemmas connected with orderings
Wed, 22 Jan 2020 19:17:59 +0000 haftmann tuned
Wed, 22 Jan 2020 19:17:58 +0000 haftmann tuned
Wed, 22 Jan 2020 19:17:57 +0000 haftmann dropped dead code
Wed, 22 Jan 2020 15:23:42 +0100 nipkow merged
Wed, 22 Jan 2020 14:37:23 +0100 nipkow added lemma
Tue, 21 Jan 2020 11:02:27 +0100 Manuel Eberl Removed multiplicativity assumption from normalization_semidom
Sun, 19 Jan 2020 14:50:03 +0100 wenzelm clarified file names;
Sun, 19 Jan 2020 14:23:49 +0100 wenzelm clarified build_polyml_component: include IDE entry point for ML compiler;
Sun, 19 Jan 2020 12:57:20 +0100 wenzelm merged
Fri, 17 Jan 2020 16:59:32 +0100 wenzelm tuned spelling;
Sun, 19 Jan 2020 07:50:35 +0100 traytel new examples of BNF lifting across quotients using a new theory of confluence,
Fri, 17 Jan 2020 18:58:58 +0100 Manuel Eberl Removed unnecessary and problematic trivial lemma from HOL-Algebra
Thu, 16 Jan 2020 17:04:42 +0100 wenzelm proper executable file;
Thu, 16 Jan 2020 16:41:25 +0100 wenzelm more documentation: odd option for special situations;
Thu, 16 Jan 2020 16:35:17 +0100 wenzelm tuned;
Thu, 16 Jan 2020 16:15:25 +0100 wenzelm updated to sumatra_pdf-3.1.2-1: x86_64-windows;
Thu, 16 Jan 2020 15:34:55 +0100 wenzelm updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4;
Thu, 16 Jan 2020 15:10:16 +0100 wenzelm updated to opam-2.0.6;
Thu, 16 Jan 2020 14:07:28 +0100 wenzelm updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;
Wed, 15 Jan 2020 20:11:28 +0100 wenzelm updated to jdk-11.0.6+10;
Wed, 15 Jan 2020 19:54:50 +0100 wenzelm misc tuning, following hint by IntelliJ;
Wed, 15 Jan 2020 19:49:13 +0100 wenzelm tuned;
Wed, 15 Jan 2020 19:46:04 +0100 wenzelm tuned -- avoid deprecated constructors;
Wed, 15 Jan 2020 19:45:06 +0100 wenzelm proper comparison of Option values, following hint by IntelliJ;
Wed, 15 Jan 2020 16:18:24 +0100 wenzelm unused -- clone of Option.apply;
Wed, 15 Jan 2020 15:05:33 +0100 wenzelm added "isabelle scala_project" to support e.g. IntelliJ IDEA;
Wed, 15 Jan 2020 13:22:16 +0100 wenzelm unused;
Tue, 14 Jan 2020 16:03:31 +0100 wenzelm more antiquotations;
Mon, 13 Jan 2020 12:11:25 +0100 wenzelm tuned messages;
Mon, 13 Jan 2020 12:09:28 +0100 wenzelm tuned;
Mon, 13 Jan 2020 11:19:24 +0100 wenzelm clarified output channel;
Mon, 13 Jan 2020 11:18:31 +0100 wenzelm clarified option -f: avoid accidental target_clean for proper release snapshot;
Sun, 12 Jan 2020 23:29:35 +0100 wenzelm more robust;
Sun, 12 Jan 2020 22:54:42 +0100 wenzelm updated to sqlite-jdbc-3.30.1;
Sun, 12 Jan 2020 22:21:40 +0100 wenzelm updated to postgresql-42.2.9;
Sun, 12 Jan 2020 21:35:56 +0100 wenzelm build in $ISABELLE_HOME;
Sun, 12 Jan 2020 17:53:38 +0100 wenzelm build in $ISABELLE_HOME;
Sat, 11 Jan 2020 17:15:54 +0100 wenzelm clarified fresh build;
Sat, 11 Jan 2020 16:22:17 +0100 wenzelm tuned documentation;
Sat, 11 Jan 2020 15:04:43 +0100 wenzelm tuned;
Fri, 10 Jan 2020 16:37:47 +0100 wenzelm clarified script name;
Fri, 10 Jan 2020 15:42:13 +0100 wenzelm prefer mercurial-2.8.2 for more robustness (i.e. the version used by the hosting service https://admin.phacility.com);
Thu, 09 Jan 2020 16:01:31 +0100 wenzelm proper name;
Thu, 09 Jan 2020 15:45:31 +0100 wenzelm more Isabelle fonts, notably for File Browser title in GTK L&F;
Thu, 09 Jan 2020 13:47:08 +0100 wenzelm eliminated deprecated scala.collection.JavaConversions;
Thu, 09 Jan 2020 13:44:16 +0100 wenzelm unused;
Thu, 09 Jan 2020 13:39:33 +0100 wenzelm tuned -- more direct java.util.Map.of;
Thu, 09 Jan 2020 08:42:01 +0100 nipkow added lemma
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip