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
+3000
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.
adjusted E setup to avoid generating FOOL with 2.5 (where 'ite' is missing)
20 months ago, by blanchet
operations for symbolic computation of bit operations
20 months ago, by haftmann
proper local context
20 months ago, by haftmann
shasum for project meta-info;
20 months ago, by wenzelm
even more strict shasum (amending c9771e1b3223);
20 months ago, by wenzelm
clarified Isabelle meta-info within jar;
20 months ago, by wenzelm
strict shasum: this is used on input files;
20 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
tip