src/HOL/Nitpick_Examples/Mini_Nits.thy
Sat, 30 Oct 2021 19:41:09 +0200 wenzelm prefer "sat_solver = MiniSat", to make examples work uniformly on all platforms;
Sun, 06 Jan 2019 15:04:34 +0100 wenzelm isabelle update -u path_cartouches;
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
Thu, 15 Feb 2018 12:11:00 +0100 wenzelm more symbols;
Wed, 10 Jan 2018 15:25:09 +0100 nipkow ran isabelle update_op on all sources
Mon, 22 May 2017 23:24:25 +0200 wenzelm less ambitious parallelism to make this work more robustly on Windows;
Thu, 26 May 2016 17:51:22 +0200 wenzelm isabelle update_cartouches -c -t;
Tue, 01 Sep 2015 22:32:58 +0200 wenzelm eliminated \<Colon>;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Sat, 21 Dec 2013 09:44:30 +0100 blanchet compile + reduce problem size by a notch
Fri, 06 Dec 2013 09:42:13 +0100 blanchet reverted 86e0b402994c, which was accidentally qfinish'ed and pushed
Thu, 05 Dec 2013 13:38:20 +0100 blanchet experiment
Mon, 25 Feb 2013 12:17:50 +0100 wenzelm prefer stateless 'ML_val' for tests;
Wed, 22 Aug 2012 22:55:41 +0200 wenzelm prefer ML_file over old uses;
Sat, 24 Dec 2011 15:53:10 +0100 haftmann adjusted to set/pred distinction by means of type constructor `set`
less more (0) -15 tip