Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+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
.
Sun, 24 Feb 2013 20:18:32 +0100
corrected reference
changeset
haftmann [Sun, 24 Feb 2013 20:18:32 +0100] rev 51262
corrected reference
Sun, 24 Feb 2013 18:30:35 +0100
improved orderings
changeset
nipkow [Sun, 24 Feb 2013 18:30:35 +0100] rev 51261
improved orderings
Sun, 24 Feb 2013 15:49:07 +0100
tuned agressiveness of isar compression
changeset
smolkas [Sun, 24 Feb 2013 15:49:07 +0100] rev 51260
tuned agressiveness of isar compression
Sun, 24 Feb 2013 13:46:14 +1100
eliminated isize in favour of size + type coercion
changeset
kleing [Sun, 24 Feb 2013 13:46:14 +1100] rev 51259
eliminated isize in favour of size + type coercion
Sat, 23 Feb 2013 22:00:12 +0100
make SML/NJ happy;
changeset
wenzelm [Sat, 23 Feb 2013 22:00:12 +0100] rev 51258
make SML/NJ happy;
Sat, 23 Feb 2013 21:07:44 +0100
basic setup for appbundler-1.0 for Mac OS X and Java 7;
changeset
wenzelm [Sat, 23 Feb 2013 21:07:44 +0100] rev 51257
basic setup for appbundler-1.0 for Mac OS X and Java 7;
Sat, 23 Feb 2013 17:47:51 +0100
more robust handling of repeated interrupts while terminating managed process;
changeset
wenzelm [Sat, 23 Feb 2013 17:47:51 +0100] rev 51256
more robust handling of repeated interrupts while terminating managed process; NB: InterruptedException should have interrupted status cleared already;
Sat, 23 Feb 2013 17:12:48 +0100
more friendly message for spurious InterruptedException, which might still occur due to JVM oddities;
changeset
wenzelm [Sat, 23 Feb 2013 17:12:48 +0100] rev 51255
more friendly message for spurious InterruptedException, which might still occur due to JVM oddities;
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip