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

hints on "hg bisect";
24 months ago, by wenzelm
no hardwired timeout in Isabelle distribution (unlike on AFP): reverting part of 74c75da4cb01 -- without further tinkering it breaks isabelle_cronjob builds;
24 months ago, by wenzelm
Removal of ugly old proofs
24 months ago, by paulson
merged
24 months ago, by paulson
More cosmetic changes
24 months ago, by paulson
Cosmetic polishing of proofs
2023-07-27, by paulson
remove debug printing
2023-08-01, by Mathias Fleury
merged
2023-07-27, by nipkow
added mbox-like latex sugar
2023-07-26, by nipkow
Added tag Isabelle2023-RC2 for changeset 53b59fa42696
2023-07-26, by wenzelm
prefer Output.writeln for theory "results", as opposed to Output.state for genuine proof states (see f8c412a45af8, c668735fb8b5, ecf80e37ed1a);
2023-07-26, by wenzelm
revert adhoc change ab9cc7cda0ec: lacks reasoning (and discussion);
2023-07-26, by wenzelm
output panel: don't discard already filtered messages
2023-07-26, by kleing
merged
2023-07-26, by wenzelm
tuned signature: more operations;
2023-07-26, by wenzelm
avoid excessive accumulation of garbage, for profiling of huge sessions;
2023-07-26, by wenzelm
clarified signature: systematic use of Properties.make_string;
2023-07-25, by wenzelm
tuned;
2023-07-25, by wenzelm
support for let in Alethe name bindings;
2023-07-26, by Mathias Fleury
merged
2023-07-25, by paulson
A few more cosmetic changes to proofs
2023-07-25, by paulson
merged
2023-07-17, by paulson
tidying a few proofs a bit more
2023-07-17, by paulson
partly tidied some truly horrible proofs
2023-07-17, by paulson
update for release;
2023-07-25, by wenzelm
back out 9d5e2a08ba1b, hoping the server room stays sufficiently cool;
2023-07-25, by wenzelm
performance tuning: prefer static simpset within functional closure of morphism (with notable impact on specifications "in" class, e.g. AFP/No_FTL_observers);
2023-07-25, by wenzelm
clarified statistics;
2023-07-25, by wenzelm
show more build history for AFP;
2023-07-24, by wenzelm
more statistics;
2023-07-24, by wenzelm
proper base_thys;
2023-07-24, by wenzelm
more thorough context tracing;
2023-07-24, by wenzelm
proper check;
2023-07-23, by wenzelm
proper symbolic hostname, as provided via Build_Cluster.Host;
2023-07-23, by wenzelm
unused;
2023-07-23, by wenzelm
clarified signature: Build_Cluster.Session.build_context;
2023-07-23, by wenzelm
clarified exception handling and return_code;
2023-07-23, by wenzelm
tuned signature: more operations;
2023-07-23, by wenzelm
more robust;
2023-07-23, by wenzelm
support for Build_Cluster.Session.init (rsync + Admin/init);
2023-07-23, by wenzelm
prefer Process_Result.RC.merge: strict treatment of interrupt;
2023-07-23, by wenzelm
clarified signature: more operations;
2023-07-23, by wenzelm
proper afp_root;
2023-07-23, by wenzelm
clarified signature: more "object-oriented" style;
2023-07-22, by wenzelm
more flexible Build.Engine.process_options: e.g. to manipulate "process_policy" for ML process;
2023-07-22, by wenzelm
clarified signature: delegate policies to Build_Cluster implementation, potentially provided by Build.Engine via Build_Process.open_build_cluster;
2023-07-22, by wenzelm
tuned signature;
2023-07-22, by wenzelm
tuned signature;
2023-07-22, by wenzelm
clarified option (see also b66b6cc1eb8c);
2023-07-22, by wenzelm
more build_cluster management: open SSH connections in parallel, but synchronously;
2023-07-21, by wenzelm
tuned signature: more options;
2023-07-21, by wenzelm
clarified signature: more operations;
2023-07-21, by wenzelm
tuned signature;
2023-07-21, by wenzelm
more accurate print vs. parse;
2023-07-21, by wenzelm
clarified signature;
2023-07-21, by wenzelm
clarified signature (again);
2023-07-21, by wenzelm
tuned output;
2023-07-21, by wenzelm
tuned output;
2023-07-21, by wenzelm
clarified modules;
2023-07-21, by wenzelm
more pro-forma support for afp_root;
2023-07-20, by wenzelm

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

isabelle