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
-7
+7
+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.
fixed typo
18 months ago, by desharna
added dummy_thf prover to Sledgehammer
18 months ago, by desharna
simplified hierarchy of type classes for bit operations
18 months ago, by haftmann
obsolete
18 months ago, by haftmann
more operations, notably free and bound variables as in Isabelle/Pure;
18 months ago, by wenzelm
more operations on types and terms;
18 months ago, by wenzelm
clarified jEdit java sources;
18 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
tip