Mon, 09 Apr 2012 21:29:47 +0200 | wenzelm | tuned proofs; | changeset | files |
Mon, 09 Apr 2012 20:57:23 +0200 | wenzelm | slightly faster default compilation of Isabelle/Scala; | changeset | files |
Mon, 09 Apr 2012 20:42:05 +0200 | wenzelm | more explicit last exec result; | changeset | files |