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
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: prefer Build_Process.Context for parameters;
23 months ago, by wenzelm
support for "isabelle build -j0": require external workers to make progress;
23 months ago, by wenzelm
follow renaming of various Isabelle command-line tools (see b975f5aaf6b8 and before);
23 months ago, by wenzelm
require the presence of free variables to do abduction in Sledgehammer
23 months ago, by blanchet
removed exercise solution
23 months ago, by nipkow
merged
23 months ago, by nipkow
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
+3000
tip