| Mon, 22 May 2017 23:24:25 +0200 | wenzelm | less ambitious parallelism to make this work more robustly on Windows; | file | diff | annotate |
| Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Tue, 01 Sep 2015 22:32:58 +0200 | wenzelm | eliminated \<Colon>; | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Sat, 21 Dec 2013 09:44:30 +0100 | blanchet | compile + reduce problem size by a notch | 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 |