| 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 |