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

more NEWS;
16 months ago, by wenzelm
tuned output;
16 months ago, by wenzelm
tuned output;
16 months ago, by wenzelm
clarified session_statistics: removed somewhat pointless per-theory statistics;
16 months ago, by wenzelm
tuned error messages;
16 months ago, by Fabian Huch
more TOML formatting functions;
16 months ago, by Fabian Huch
merged
16 months ago, by paulson
Doubled the time limit for HOL-Probability
16 months ago, by paulson
merged
16 months ago, by paulson
Some fixes, and SOME TIME LIMITS
16 months ago, by paulson
merged
16 months ago, by paulson
cosmetic improvements, new lemmas, especially more uses of function space
16 months ago, by paulson
more NEWS;
16 months ago, by wenzelm
NEWS;
16 months ago, by wenzelm
tuned whitespace;
16 months ago, by wenzelm
added TOML module from afp;
16 months ago, by Fabian Huch
proper system integration and renaming;
16 months ago, by wenzelm
copy/rename files from private autocorres version e45b9b680d3e;
16 months ago, by wenzelm
Added tag Isabelle2023-RC1 for changeset 006dbc9c2de1
16 months ago, by wenzelm
update cygwin component;
16 months ago, by wenzelm
avoid bloat of approx. 300MB due to implicit dependency on python;
16 months ago, by wenzelm
suppress bad file, which does not work on regular Windows;
16 months ago, by wenzelm
revert ineffective b04ac8a017b2: etc/settings of polyml components needs to be changed as well;
16 months ago, by wenzelm
updated naproche-20230711 component for release;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
ML_system_apple=false for more stability;
16 months ago, by wenzelm
activate cygwin-20230711;
16 months ago, by wenzelm
update cygwin for Isabelle2023 -- somewhere after cygwin 3.4.0-1 (see https://cygwin.com/pipermail/cygwin-announce/2022-December/010821.html);
16 months ago, by wenzelm
proper set_executable for sqlitejdbc.dll (see also 3b0f8f1010f2);
16 months ago, by wenzelm
update to stack-2.9.3 with support for arm64-linux;
16 months ago, by wenzelm
provide tool for GHC stack component;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
"rlwrap" is back together with "perl", which is actually required for bib2xhtml;
16 months ago, by wenzelm
clarified signature, with subtle change of semantics (amending 8b5a2e4b16d4);
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
merged
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
update for release;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
update for release;
16 months ago, by wenzelm
merged;
16 months ago, by wenzelm
publish component;
16 months ago, by wenzelm
latest version;
16 months ago, by wenzelm
update to current sqlite-jdbc-3.42.0.0;
16 months ago, by wenzelm
update to current lipics-3.1.3;
16 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;
16 months ago, by wenzelm
merged
16 months ago, by paulson
more small simplifications
16 months ago, by paulson
merged
16 months ago, by wenzelm
merged
16 months ago, by wenzelm
clarified modules (amending 570f65953173);
16 months ago, by wenzelm
more markup for command_span: this allows to reconstruct Thy_Element structure without knowing the outer syntax;
16 months ago, by wenzelm
create database view for diagnostic purposes;
16 months ago, by wenzelm
A bit of prerelease tidying
16 months ago, by paulson
NEWS tweak
16 months ago, by paulson
merged
16 months ago, by paulson
Last of the HOL Light metric space imports, and some supporting lemmas
16 months ago, by paulson
clarified "vacuum" operation for various database versions (PostgreSQL <= 10 is strictly speaking obsolete, but still used on some test machines);
16 months ago, by wenzelm
eliminate somewhat obsolete augment_tables (see ff164add75cd), to support obsolete versions 10 and 9.x;
16 months ago, by wenzelm

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

isabelle