Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-12
+12
+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.
fixed diverging simproc cont_intro
22 months ago, by desharna
corrections and adjustions for Scala 3
22 months ago, by haftmann
more complete set of code equations
22 months ago, by haftmann
officical abstract characters for code generation
22 months ago, by haftmann
provide components for scala3 (still inactive);
22 months ago, by wenzelm
updated download version;
22 months ago, by wenzelm
obsolete;
22 months ago, by wenzelm
more keywords for scala3;
22 months ago, by wenzelm
discontinued Isabelle tools implemented as .scala scripts;
22 months ago, by wenzelm
tuned proofs
22 months ago, by desharna
clarified heap alignment, to make it potentially more stable on macOS;
22 months ago, by wenzelm
tuned proof
22 months ago, by desharna
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-12
+12
+100
+300
+1000
+3000
tip