| Thu, 19 Apr 2012 15:47:32 +0200 | wenzelm | accomodate digits within Isar command names, notably 'try0'; | changeset | files |
| Thu, 19 Apr 2012 15:02:13 +0200 | wenzelm | more robust Sledgehammer in Prover IDE; | changeset | files |
| Thu, 19 Apr 2012 14:59:17 +0200 | wenzelm | test with jdk-7u3 that is also bundled; | changeset | files |