Mercurial
Mercurial
>
repos
>
testboard
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+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.
tuned;
19 months ago, by wenzelm
clarified signature --- more explicit types;
19 months ago, by wenzelm
merged
19 months ago, by Peter Lammich
removed session name
19 months ago, by Peter Lammich
merged
19 months ago, by nipkow
merged
19 months ago, by Peter Lammich
summarized structural and ordering invariant for trees
19 months ago, by Peter Lammich
NEWS
19 months ago, by nipkow
Total correctness examples by Walter Guttmann
19 months ago, by nipkow
Extension of session HOL/Hoare with total correctness proof system by Walter Guttmann
19 months ago, by nipkow
tuned
19 months ago, by nipkow
Highlight that 'intro_locales' and 'trace_locales' are useful debug features, plus minor clarifications.
19 months ago, by ballarin
merged
19 months ago, by nipkow
merged
19 months ago, by wenzelm
clarified signature --- more positions;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
added abbrev
19 months ago, by nipkow
tuned proof preplay to explicitly refer to Z3 backend
19 months ago, by desharna
A bunch of suggestions from Pedro Sánchez Terraf
19 months ago, by paulson
merged
19 months ago, by paulson
obsolete -- done by Isabelle/PIDE/ML;
19 months ago, by wenzelm
tuned whitespace --- avoid TABs;
19 months ago, by wenzelm
updated to Haskell stack-2.5.1, stackage lts-16.12, ghc-8.8.4;
19 months ago, by wenzelm
updated to postgresql-42.2.18;
19 months ago, by wenzelm
updated to jfreechart-1.5.1;
19 months ago, by wenzelm
updated to current cygwin-20201130, after 3.1.7-1 from 24-Aug-2020;
19 months ago, by wenzelm
Added tag Isabelle2021-RC0 for changeset 21ff9c1a4644
19 months ago, by wenzelm
merged
19 months ago, by paulson
more Isabelle fonts, notably for PanelWindowContainer buttons with Windows L&F;
Isabelle2021-RC0
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
Path.implode_symbolic as in ML;
19 months ago, by wenzelm
proper source symbols in persistent data;
19 months ago, by wenzelm
more completion;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
restrict report redirection to current node;
19 months ago, by wenzelm
clarified parser;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
proper positions for inlined command messages, e.g. for completion within theory header;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified checks (see f34f5c057c9e);
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
tuned comments;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
typo
19 months ago, by haftmann
more on signed division
19 months ago, by haftmann
clarified files;
19 months ago, by wenzelm
tuned whitespace;
19 months ago, by wenzelm
clarified parsing vs. semantic errors;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
added document antiquotation @{tool};
19 months ago, by wenzelm
more robust isabelle_scala_files;
19 months ago, by wenzelm
avoid conflicting base names;
19 months ago, by wenzelm
clarified protocol: Doc.check at run-time via Scala function;
19 months ago, by wenzelm
more antiquotations (reverting 4df341249348);
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned signature --- more explicit types;
19 months ago, by wenzelm
more positions;
19 months ago, by wenzelm
support for Scala compile-time positions;
19 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip