| Sat, 28 Sep 2013 13:50:38 +0200 | wenzelm | simplified ISABELLE_HOME on Windows (see also 9c8a1b9c0630, 5a7903ba2dac); | changeset | files |
| Sat, 28 Sep 2013 13:40:33 +0200 | wenzelm | update second environment that is used for System.getenv(String); | changeset | files |
| Sat, 28 Sep 2013 12:55:33 +0200 | wenzelm | adhoc update of JVM environment variables, which is relevant for cold start of jEdit; | changeset | files |
| Fri, 27 Sep 2013 21:54:55 +0200 | kuncar | tuned names | changeset | files |
| Fri, 27 Sep 2013 21:54:55 +0200 | kuncar | fold and lemmas about cardinality | changeset | files |
| Fri, 27 Sep 2013 21:04:57 +0200 | wenzelm | more robust parser: 'imports' are mandatory except for bootstrapping Pure; | changeset | files |
| Fri, 27 Sep 2013 20:13:35 +0200 | blanchet | one more unfolding necessary | changeset | files |