Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-15
+15
+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.
moved relevant theorems from theory Divides to theory Euclidean_Division
19 months ago, by haftmann
amend jenkins ci build;
19 months ago, by Fabian Huch
restructured ci profile into modular ci build system;
19 months ago, by Fabian Huch
more structured proofs
19 months ago, by paulson
fixed some theory presentation issues (?)
19 months ago, by paulson
recover informal "&" from 0c18df79b1c8;
19 months ago, by wenzelm
added a couple of structured proofs
19 months ago, by paulson
More obsolete "unfold" calls
19 months ago, by paulson
getting rid of apply (unfold ...)
19 months ago, by paulson
More syntactic cleanup. LaTeX markup working
19 months ago, by paulson
more modernisation of syntax
19 months ago, by paulson
Removal of obsolete ASCII syntax
19 months ago, by paulson
clarified options;
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
provide missing LaTeX macro, e.g. for AFP/PAC_Checker;
19 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-15
+15
+100
+300
+1000
+3000
tip