| Thu, 20 Sep 2012 02:42:48 +0200 | blanchet | tuned ID/DEADID setup | changeset | files |
| Wed, 19 Sep 2012 21:07:09 +0200 | wenzelm | JavaFX is inactive by default; | changeset | files |
| Wed, 19 Sep 2012 21:06:35 +0200 | wenzelm | reactivate HOL-Mirabelle-ex with increased chances that it works most of the time (cf. bec1add86e79, a93d920707bb, be27a453aacc); | changeset | files |