| Thu, 25 Feb 2016 20:23:32 +0100 | wenzelm | merged | changeset | files |
| Thu, 25 Feb 2016 19:22:13 +0100 | wenzelm | slightly more robust re-initialization; | changeset | files |
| Thu, 25 Feb 2016 19:08:48 +0100 | wenzelm | isabelle_scala_script is usually found by PATH; | changeset | files |
| Thu, 25 Feb 2016 18:08:23 +0100 | wenzelm | within the Isabelle environment, main executables are always within PATH; | changeset | files |