isabelle: Graph

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 +3000 tip

proper set_executable for sqlitejdbc.dll (see also 3b0f8f1010f2);
19 months ago, by wenzelm
update to stack-2.9.3 with support for arm64-linux;
19 months ago, by wenzelm
provide tool for GHC stack component;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
"rlwrap" is back together with "perl", which is actually required for bib2xhtml;
19 months ago, by wenzelm
clarified signature, with subtle change of semantics (amending 8b5a2e4b16d4);
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
update for release;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
update for release;
19 months ago, by wenzelm
merged;
19 months ago, by wenzelm
publish component;
19 months ago, by wenzelm
latest version;
19 months ago, by wenzelm
update to current sqlite-jdbc-3.42.0.0;
19 months ago, by wenzelm
update to current lipics-3.1.3;
19 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;
19 months ago, by wenzelm
merged
19 months ago, by paulson
more small simplifications
19 months ago, by paulson
merged
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
clarified modules (amending 570f65953173);
19 months ago, by wenzelm
more markup for command_span: this allows to reconstruct Thy_Element structure without knowing the outer syntax;
19 months ago, by wenzelm
create database view for diagnostic purposes;
19 months ago, by wenzelm
A bit of prerelease tidying
19 months ago, by paulson
NEWS tweak
19 months ago, by paulson
merged
19 months ago, by paulson
Last of the HOL Light metric space imports, and some supporting lemmas
19 months ago, by paulson
clarified "vacuum" operation for various database versions (PostgreSQL <= 10 is strictly speaking obsolete, but still used on some test machines);
19 months ago, by wenzelm
eliminate somewhat obsolete augment_tables (see ff164add75cd), to support obsolete versions 10 and 9.x;
19 months ago, by wenzelm
clarified operation: sequential vacuum to support obsolete versions 10 and 9.x;
19 months ago, by wenzelm
clarified operation: empty means "empty" instead of "full";
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
proper data_domain for symmetric difference;
19 months ago, by wenzelm
tuned: avoid redundant db access;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
proper transaction_lock;
19 months ago, by wenzelm
clarified signature: ensure disjoint data spaces;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
unused (see also ea35afdb1366);
19 months ago, by wenzelm
more robust transaction_lock: avoid overlapping data spaces;
19 months ago, by wenzelm
merged
19 months ago, by paulson
The sym_diff operator (symmetric difference)
19 months ago, by paulson
disable lxbroy10 for now: technical problems with cooling;
19 months ago, by wenzelm
A couple of new lemmas involving cardinality
19 months ago, by paulson
merged
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
more robust;
19 months ago, by wenzelm
proper build_progress for local messages;
19 months ago, by wenzelm
proper SQL query;
19 months ago, by wenzelm
Another tranche of HOL Light material on metric and topological spaces
19 months ago, by paulson
merged
19 months ago, by paulson
EXPERIMENTAL replacement of f ` A <= B by f : A -> B in Analysis
19 months ago, by paulson
merged
19 months ago, by wenzelm
more robust "stop": further "stamp" ticks may happen afterwards;
19 months ago, by wenzelm
removed junk;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip

isabelle