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

tuned output;
18 months ago, by wenzelm
global transaction_count;
18 months ago, by wenzelm
tuned output;
18 months ago, by wenzelm
tuned output;
18 months ago, by wenzelm
prefer asynchronous operations: reduce time spent within synchronized_database("Build_Process.start_job");
18 months ago, by wenzelm
clarified isabelle.transaction_log: support time_min (in ms);
18 months ago, by wenzelm
more operations;
18 months ago, by wenzelm
more informative trace;
18 months ago, by wenzelm
support trace of transaction_lock via property "isabelle.transaction_log";
18 months ago, by wenzelm
proper db.transaction_lock instead of adhoc clone (amending 2df0f3604a67);
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
proper close() operation;
18 months ago, by wenzelm
tuned comments;
18 months ago, by wenzelm
more robust: avoid nested transactions (on disjoint tables);
18 months ago, by wenzelm
potentially more robust: long-running operation only for build master, not workers;
18 months ago, by wenzelm
less ambitions transactions (amending 3f3dcf9f53f1): TRANSACTION_SERIALIZABLE may lead to spurious rollback exceptions;
18 months ago, by wenzelm
clarified signature: more operations;
18 months ago, by wenzelm
clarified signature: more operations;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
clarified signature: follow Store.open_database;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
clarified signature: more uniform SSH.Port_Forwarding;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
X = trivial_topology rather than topspace X = {}
18 months ago, by paulson
merged
18 months ago, by paulson
trivial_topology
18 months ago, by paulson
merged;
18 months ago, by Lukas Stevens
added docs for order method in Orderings;
18 months ago, by Lukas Stevens
News update referring to Analysis
18 months ago, by paulson
tuned error message;
18 months ago, by Fabian Huch
more NEWS;
18 months ago, by wenzelm
tuned output;
18 months ago, by wenzelm
tuned output;
18 months ago, by wenzelm
clarified session_statistics: removed somewhat pointless per-theory statistics;
18 months ago, by wenzelm
tuned error messages;
18 months ago, by Fabian Huch
more TOML formatting functions;
18 months ago, by Fabian Huch
merged
18 months ago, by paulson
Doubled the time limit for HOL-Probability
18 months ago, by paulson
merged
18 months ago, by paulson
Some fixes, and SOME TIME LIMITS
18 months ago, by paulson
merged
18 months ago, by paulson
cosmetic improvements, new lemmas, especially more uses of function space
18 months ago, by paulson
more NEWS;
18 months ago, by wenzelm
NEWS;
18 months ago, by wenzelm
tuned whitespace;
18 months ago, by wenzelm
added TOML module from afp;
18 months ago, by Fabian Huch
proper system integration and renaming;
18 months ago, by wenzelm
copy/rename files from private autocorres version e45b9b680d3e;
18 months ago, by wenzelm
Added tag Isabelle2023-RC1 for changeset 006dbc9c2de1
18 months ago, by wenzelm
update cygwin component;
18 months ago, by wenzelm
avoid bloat of approx. 300MB due to implicit dependency on python;
18 months ago, by wenzelm
suppress bad file, which does not work on regular Windows;
18 months ago, by wenzelm
revert ineffective b04ac8a017b2: etc/settings of polyml components needs to be changed as well;
18 months ago, by wenzelm
updated naproche-20230711 component for release;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
ML_system_apple=false for more stability;
18 months ago, by wenzelm
activate cygwin-20230711;
18 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);
18 months ago, by wenzelm

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

isabelle