| 2013-01-14 | wenzelm | more prominent status ticks; | changeset | files |
| 2013-01-14 | wenzelm | merged | changeset | files |
| 2013-01-14 | wenzelm | Isabelle_System.mkdirs with explicit error checking (in accordance to ML version), e.g. relevant with read-only DMG file-system on Mac OS X; | changeset | files |
| 2013-01-14 | wenzelm | include /isabelle/rebaseall in autorebaseall, which is run after installation of further packages; | changeset | files |
| 2013-01-14 | wenzelm | do not register quasi-components, notably cygwin; | changeset | files |
| 2013-01-14 | wenzelm | updated to jdk-7u11; | changeset | files |
| Loading... | |||