Mercurial
Mercurial
>
repos
>
isabelle
/ 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
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;
17 months ago, by wenzelm
clarified signature, notably access to blob files;
17 months ago, by wenzelm
support for PIDE markup for auxiliary files ("blobs");
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
clarified signature --- more explicit types;
17 months ago, by wenzelm
merged
17 months ago, by Peter Lammich
removed session name
17 months ago, by Peter Lammich
merged
17 months ago, by nipkow
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
17 months ago, by nipkow
added abbrev
17 months ago, by nipkow
merged
17 months ago, by wenzelm
clarified signature --- more positions;
17 months ago, by wenzelm
clarified signature;
17 months ago, by wenzelm
tuned proof preplay to explicitly refer to Z3 backend
17 months ago, by desharna
A bunch of suggestions from Pedro Sánchez Terraf
17 months ago, by paulson
merged
17 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
restrict report redirection to current node;
18 months ago, by wenzelm
clarified parser;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
proper positions for inlined command messages, e.g. for completion within theory header;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
clarified modules;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
clarified checks (see f34f5c057c9e);
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
tuned comments;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
typo
18 months ago, by haftmann
more on signed division
18 months ago, by haftmann
clarified files;
18 months ago, by wenzelm
tuned whitespace;
18 months ago, by wenzelm
clarified parsing vs. semantic errors;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
added document antiquotation @{tool};
18 months ago, by wenzelm
more robust isabelle_scala_files;
18 months ago, by wenzelm
avoid conflicting base names;
18 months ago, by wenzelm
clarified protocol: Doc.check at run-time via Scala function;
18 months ago, by wenzelm
more antiquotations (reverting 4df341249348);
18 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip