| Mon, 14 Jan 2013 23:08:40 +0100 |
wenzelm |
more prominent status ticks;
|
changeset |
files
|
| Mon, 14 Jan 2013 22:33:53 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 14 Jan 2013 22:24:57 +0100 |
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
|
| Mon, 14 Jan 2013 21:37:42 +0100 |
wenzelm |
include /isabelle/rebaseall in autorebaseall, which is run after installation of further packages;
|
changeset |
files
|
| Mon, 14 Jan 2013 20:12:18 +0100 |
wenzelm |
do not register quasi-components, notably cygwin;
|
changeset |
files
|
| Mon, 14 Jan 2013 19:45:14 +0100 |
wenzelm |
updated to jdk-7u11;
|
changeset |
files
|
| Mon, 14 Jan 2013 14:59:14 +0100 |
wenzelm |
updated to cygwin-20130114;
|
changeset |
files
|
| Mon, 14 Jan 2013 14:53:54 +0100 |
wenzelm |
clarified paths: init relatively to cygwin root;
|
changeset |
files
|
| Mon, 14 Jan 2013 14:52:52 +0100 |
wenzelm |
avoid odd copies of local configuration or backup files;
|
changeset |
files
|
| Mon, 14 Jan 2013 14:46:22 +0100 |
wenzelm |
more precise relevant_range to exploit overview_limit better;
|
changeset |
files
|
| Mon, 14 Jan 2013 13:59:43 +0100 |
wenzelm |
restrict "bad" markup to command keyword, notably excluding subsequent comments;
|
changeset |
files
|
| Mon, 14 Jan 2013 18:30:36 +0100 |
hoelzl |
differentiate (cover) compactness and sequential compactness
|
changeset |
files
|