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
-6
+6
+10
+30
+100
+300
+1000
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.
clarified signature;
10 months ago, by wenzelm
more Isabelle/Haskell;
10 months ago, by wenzelm
made sure lambda-lifting works well with native let binders in Sledgehammer
10 months ago, by blanchet
handle Zipperposition's ResourceOut gracefully
10 months ago, by blanchet
disabled 'ite' in Zipperposition until we upgrade to a version of Zip that supports it and we generate the proper syntax
10 months ago, by blanchet
proper test for type constructor;
10 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
tip