Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+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
.
Thu, 13 Aug 2009 17:19:54 +0100
merged
changeset
paulson [Thu, 13 Aug 2009 17:19:54 +0100] rev 32368
merged
Thu, 13 Aug 2009 17:19:42 +0100
Removal of redundant settings of unification trace and search bounds.
changeset
paulson [Thu, 13 Aug 2009 17:19:42 +0100] rev 32367
Removal of redundant settings of unification trace and search bounds.
Thu, 13 Aug 2009 17:19:10 +0100
Demonstrations of sledgehammer in protocol proofs.
changeset
paulson [Thu, 13 Aug 2009 17:19:10 +0100] rev 32366
Demonstrations of sledgehammer in protocol proofs.
Wed, 12 Aug 2009 00:26:01 +0200
added PARALLEL_CHOICE, PARALLEL_GOALS;
changeset
wenzelm [Wed, 12 Aug 2009 00:26:01 +0200] rev 32365
added PARALLEL_CHOICE, PARALLEL_GOALS;
Tue, 11 Aug 2009 20:40:02 +0200
merged
changeset
wenzelm [Tue, 11 Aug 2009 20:40:02 +0200] rev 32364
merged
Mon, 10 Aug 2009 13:53:42 +0200
SOS: function to set default prover; output channel changed
changeset
Philipp Meyer [Mon, 10 Aug 2009 13:53:42 +0200] rev 32363
SOS: function to set default prover; output channel changed
Mon, 10 Aug 2009 13:02:05 +0200
interrupt handler for neos csdp client
changeset
Philipp Meyer [Mon, 10 Aug 2009 13:02:05 +0200] rev 32362
interrupt handler for neos csdp client
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip