Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+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.
NEWS
17 months ago, by nipkow
merged
17 months ago, by Peter Lammich
summarized structural and ordering invariant for trees
17 months ago, by Peter Lammich
Total correctness examples by Walter Guttmann
17 months ago, by nipkow
Extension of session HOL/Hoare with total correctness proof system by Walter Guttmann
17 months ago, by nipkow
tuned
17 months ago, by nipkow
Highlight that 'intro_locales' and 'trace_locales' are useful debug features, plus minor clarifications.
17 months ago, by ballarin
merged
18 months ago, by nipkow
added abbrev
18 months ago, by nipkow
merged
18 months ago, by wenzelm
clarified signature --- more positions;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
tuned proof preplay to explicitly refer to Z3 backend
18 months ago, by desharna
A bunch of suggestions from Pedro Sánchez Terraf
18 months ago, by paulson
merged
18 months ago, by paulson
merged
18 months ago, by paulson
tweaked
18 months ago, by paulson
obsolete -- done by Isabelle/PIDE/ML;
18 months ago, by wenzelm
tuned whitespace --- avoid TABs;
18 months ago, by wenzelm
updated to Haskell stack-2.5.1, stackage lts-16.12, ghc-8.8.4;
18 months ago, by wenzelm
updated to postgresql-42.2.18;
18 months ago, by wenzelm
updated to jfreechart-1.5.1;
18 months ago, by wenzelm
updated to current cygwin-20201130, after 3.1.7-1 from 24-Aug-2020;
18 months ago, by wenzelm
Added tag Isabelle2021-RC0 for changeset 21ff9c1a4644
18 months ago, by wenzelm
more Isabelle fonts, notably for PanelWindowContainer buttons with Windows L&F;
18 months ago, by wenzelm
merged
18 months ago, by wenzelm
Path.implode_symbolic as in ML;
18 months ago, by wenzelm
proper source symbols in persistent data;
18 months ago, by wenzelm
more completion;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
tip