| 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 |
| Fri, 27 Sep 2013 19:30:49 +0200 | blanchet | faster exit in common case | changeset | files |
| Fri, 27 Sep 2013 17:57:45 +0200 | nipkow | merged | changeset | files |
| Fri, 27 Sep 2013 17:57:30 +0200 | nipkow | hide coercion | changeset | files |