Sat, 30 Oct 2021 19:41:09 +0200 | wenzelm | prefer "sat_solver = MiniSat", to make examples work uniformly on all platforms; | file | diff | annotate |
Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
Fri, 06 Dec 2013 09:42:13 +0100 | blanchet | reverted 86e0b402994c, which was accidentally qfinish'ed and pushed | file | diff | annotate |
Thu, 05 Dec 2013 13:38:20 +0100 | blanchet | experiment | file | diff | annotate |
Tue, 03 Jan 2012 18:33:18 +0100 | blanchet | lower cardinality for faster testing | file | diff | annotate |
Wed, 21 Sep 2011 15:55:16 +0200 | blanchet | reintroduced Minipick as Nitpick example | file | diff | annotate |