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
.
Thu, 15 Dec 2011 09:13:23 +0100
tuned
changeset
nipkow [Thu, 15 Dec 2011 09:13:23 +0100] rev 45885
tuned
Thu, 15 Dec 2011 08:51:14 +0100
hiding the precious name map_entry in AList_Impl
changeset
bulwahn [Thu, 15 Dec 2011 08:51:14 +0100] rev 45884
hiding the precious name map_entry in AList_Impl
Wed, 14 Dec 2011 23:08:03 +0100
killed dead code
changeset
blanchet [Wed, 14 Dec 2011 23:08:03 +0100] rev 45883
killed dead code
Wed, 14 Dec 2011 23:08:03 +0100
use new redirection algorithm in Sledgehammer
changeset
blanchet [Wed, 14 Dec 2011 23:08:03 +0100] rev 45882
use new redirection algorithm in Sledgehammer
Wed, 14 Dec 2011 23:08:03 +0100
fixed parsing of TPTP atoms
changeset
blanchet [Wed, 14 Dec 2011 23:08:03 +0100] rev 45881
fixed parsing of TPTP atoms
Wed, 14 Dec 2011 22:10:04 +0100
tuned signature;
changeset
wenzelm [Wed, 14 Dec 2011 22:10:04 +0100] rev 45880
tuned signature;
Wed, 14 Dec 2011 21:54:32 +0100
avoid fragile Sign.intern_const -- pass internal names directly;
changeset
wenzelm [Wed, 14 Dec 2011 21:54:32 +0100] rev 45879
avoid fragile Sign.intern_const -- pass internal names directly; tuned;
Wed, 14 Dec 2011 20:36:17 +0100
tuned;
changeset
wenzelm [Wed, 14 Dec 2011 20:36:17 +0100] rev 45878
tuned;
Wed, 14 Dec 2011 18:07:32 +0100
added new proof redirection code
changeset
blanchet [Wed, 14 Dec 2011 18:07:32 +0100] rev 45877
added new proof redirection code
Wed, 14 Dec 2011 18:07:32 +0100
SPASS is incomplete because of the -Splits and -FullRed options, not just because of -SOS=1 -- don't pretend the opposite
changeset
blanchet [Wed, 14 Dec 2011 18:07:32 +0100] rev 45876
SPASS is incomplete because of the -Splits and -FullRed options, not just because of -SOS=1 -- don't pretend the opposite
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip