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
+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.
make resolution replay more robust, in case Metis distinguishes between two literals that are merged in Isabelle (e.g. because they carry more or less type annotations in Metis)
2011-06-06, by blanchet
tuning
2011-06-06, by blanchet
also exploit type tag idempotence in lightweight encodings, following a suggestion from Gothenburg
2011-06-06, by blanchet
reveal Skolems in new Metis
2011-06-06, by blanchet
don't throw exception on unknown constants (e.g. skolems), and give more precise type to applied functions
2011-06-06, by blanchet
slacker version of "fastype_of", in case a function has dummy type
2011-06-06, by blanchet
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip