Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(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
.
The revision graph only works with JavaScript-enabled browsers.
adding examples for quickcheck narrowing about partial functions
2011-12-08, by bulwahn
removing special code generator setup for hd and last function because this causes problems with quickcheck narrowing as the Haskell Prelude functions throw errors that cannot be caught instead of PatternFail exceptions
2011-12-08, by bulwahn
HOLCF/ex/Letrec.thy: keep class 'domain' as default sort
2011-12-08, by huffman
more error checking for fixrec
2011-12-08, by huffman
reinstate old functions cfst and csnd as abbreviations
2011-12-08, by huffman
merged
2011-12-08, by nipkow
tuned
2011-12-08, by nipkow
merged
2011-12-07, by Christian Urban
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip