Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Mon, 07 Nov 2011 16:39:14 +0100
tuned proofs;
changeset
wenzelm [Mon, 07 Nov 2011 16:39:14 +0100] rev 45388
tuned proofs;
Mon, 07 Nov 2011 14:16:01 +0100
return outcome code, so that it can be picked up by Mutabelle
changeset
blanchet [Mon, 07 Nov 2011 14:16:01 +0100] rev 45387
return outcome code, so that it can be picked up by Mutabelle
Mon, 07 Nov 2011 14:16:01 +0100
align columns in output and keep error log around
changeset
blanchet [Mon, 07 Nov 2011 14:16:01 +0100] rev 45386
align columns in output and keep error log around
Mon, 07 Nov 2011 14:59:58 +0100
offline build of java_ext_dirs.jar, to avoid runtime dependency on javac/jar executables;
changeset
wenzelm [Mon, 07 Nov 2011 14:59:58 +0100] rev 45385
offline build of java_ext_dirs.jar, to avoid runtime dependency on javac/jar executables;
Mon, 07 Nov 2011 14:23:50 +0100
clarified attribute "mono_set": pure declaration, proper export in ML;
changeset
wenzelm [Mon, 07 Nov 2011 14:23:50 +0100] rev 45384
clarified attribute "mono_set": pure declaration, proper export in ML;
Mon, 07 Nov 2011 14:14:20 +0100
misc tuning;
changeset
wenzelm [Mon, 07 Nov 2011 14:14:20 +0100] rev 45383
misc tuning;
Mon, 07 Nov 2011 12:08:22 +0100
made SML/NJ happy;
changeset
wenzelm [Mon, 07 Nov 2011 12:08:22 +0100] rev 45382
made SML/NJ happy;
Sun, 06 Nov 2011 22:18:54 +0100
more millisecond cleanup
changeset
blanchet [Sun, 06 Nov 2011 22:18:54 +0100] rev 45381
more millisecond cleanup
Sun, 06 Nov 2011 22:18:54 +0100
updated documentation
changeset
blanchet [Sun, 06 Nov 2011 22:18:54 +0100] rev 45380
updated documentation
Sun, 06 Nov 2011 22:18:54 +0100
try "smt" as a fallback for ATPs if "metis" fails/times out
changeset
blanchet [Sun, 06 Nov 2011 22:18:54 +0100] rev 45379
try "smt" as a fallback for ATPs if "metis" fails/times out
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip