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
.
Fri, 09 Sep 2011 12:33:09 +0200
revisiting type annotations for Haskell: necessary type annotations are not inferred on the provided theorems but using the arguments and right hand sides, as these might differ in the case of constants with abstract code types
changeset
bulwahn [Fri, 09 Sep 2011 12:33:09 +0200] rev 44854
revisiting type annotations for Haskell: necessary type annotations are not inferred on the provided theorems but using the arguments and right hand sides, as these might differ in the case of constants with abstract code types
Fri, 09 Sep 2011 14:30:57 +0200
made SML/NJ happy
changeset
blanchet [Fri, 09 Sep 2011 14:30:57 +0200] rev 44853
made SML/NJ happy
Thu, 08 Sep 2011 12:23:11 +0200
call ghc with -XEmptyDataDecls
changeset
noschinl [Thu, 08 Sep 2011 12:23:11 +0200] rev 44852
call ghc with -XEmptyDataDecls
Fri, 09 Sep 2011 06:47:14 +0200
merged
changeset
nipkow [Fri, 09 Sep 2011 06:47:14 +0200] rev 44851
merged
Fri, 09 Sep 2011 06:45:39 +0200
tuned headers
changeset
nipkow [Fri, 09 Sep 2011 06:45:39 +0200] rev 44850
tuned headers
Thu, 08 Sep 2011 19:35:23 -0700
Library/Saturated.thy: number_semiring class instance
changeset
huffman [Thu, 08 Sep 2011 19:35:23 -0700] rev 44849
Library/Saturated.thy: number_semiring class instance
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip