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
+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.
clarified signature, with subtle change of semantics (amending 8b5a2e4b16d4);
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
merged
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
update for release;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
update for release;
18 months ago, by wenzelm
merged;
18 months ago, by wenzelm
publish component;
18 months ago, by wenzelm
latest version;
18 months ago, by wenzelm
update to current sqlite-jdbc-3.42.0.0;
18 months ago, by wenzelm
update to current lipics-3.1.3;
18 months ago, by wenzelm
update to flatlaf-2.6, which is the last release before recent moves towards 3.0 / 3.1 / 3.1.1;
18 months ago, by wenzelm
merged
18 months ago, by paulson
more small simplifications
18 months ago, by paulson
merged
18 months ago, by wenzelm
merged
18 months ago, by wenzelm
clarified modules (amending 570f65953173);
18 months ago, by wenzelm
more markup for command_span: this allows to reconstruct Thy_Element structure without knowing the outer syntax;
18 months ago, by wenzelm
create database view for diagnostic purposes;
18 months ago, by wenzelm
A bit of prerelease tidying
18 months ago, by paulson
NEWS tweak
18 months ago, by paulson
merged
18 months ago, by paulson
Last of the HOL Light metric space imports, and some supporting lemmas
18 months ago, by paulson
clarified "vacuum" operation for various database versions (PostgreSQL <= 10 is strictly speaking obsolete, but still used on some test machines);
18 months ago, by wenzelm
eliminate somewhat obsolete augment_tables (see ff164add75cd), to support obsolete versions 10 and 9.x;
18 months ago, by wenzelm
clarified operation: sequential vacuum to support obsolete versions 10 and 9.x;
18 months ago, by wenzelm
clarified operation: empty means "empty" instead of "full";
18 months ago, by wenzelm
merged
18 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip