| Sat, 24 Mar 2012 20:24:16 +0100 | wenzelm | ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE); | changeset | files |
| Mon, 26 Mar 2012 11:15:41 +0200 | wenzelm | merged | changeset | files |
| Mon, 26 Mar 2012 11:01:04 +0200 | blanchet | reintroduced broken proofs and regenerated certificates | changeset | files |
| Mon, 26 Mar 2012 10:56:56 +0200 | wenzelm | merged, resolving trivial conflict; | changeset | files |