Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 14 Jan 2013 22:33:53 +0100 merged
changeset
wenzelm [Mon, 14 Jan 2013 22:33:53 +0100] rev 50894
merged
Mon, 14 Jan 2013 22:24:57 +0100 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
wenzelm [Mon, 14 Jan 2013 22:24:57 +0100] rev 50893
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;
Mon, 14 Jan 2013 21:37:42 +0100 include /isabelle/rebaseall in autorebaseall, which is run after installation of further packages;
changeset
wenzelm [Mon, 14 Jan 2013 21:37:42 +0100] rev 50892
include /isabelle/rebaseall in autorebaseall, which is run after installation of further packages; patch cygwin in makedist_bundles instead of makedist_cygwin, to avoid frequent repackaging of the same;
Mon, 14 Jan 2013 20:12:18 +0100 do not register quasi-components, notably cygwin;
changeset
wenzelm [Mon, 14 Jan 2013 20:12:18 +0100] rev 50891
do not register quasi-components, notably cygwin;
Mon, 14 Jan 2013 19:45:14 +0100 updated to jdk-7u11;
changeset
wenzelm [Mon, 14 Jan 2013 19:45:14 +0100] rev 50890
updated to jdk-7u11;
Mon, 14 Jan 2013 14:59:14 +0100 updated to cygwin-20130114;
changeset
wenzelm [Mon, 14 Jan 2013 14:59:14 +0100] rev 50889
updated to cygwin-20130114;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle