Mon, 26 Mar 2012 15:33:28 +0200 | kuncar | merged | changeset | files |
Mon, 26 Mar 2012 15:32:54 +0200 | kuncar | tuned proof - no smt call | changeset | files |
Mon, 26 Mar 2012 16:25:08 +0200 | wenzelm | more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function); | changeset | files |