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
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.
tuned;
11 months ago, by wenzelm
more robust: check subclasses as well;
11 months ago, by wenzelm
more robust;
11 months ago, by wenzelm
support for alternative user home, e.g. to avoid slow NFS shares;
11 months ago, by wenzelm
support explicit USER_HOME within SSH session;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
merged
11 months ago, by paulson
Further adjustments to the syntax for Lebesgue integration
11 months ago, by paulson
tuned comments;
11 months ago, by wenzelm
more robust: always close, despite failure;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
tuned comments;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
Distinguish two versions of cvc5 -- one used for Sledgehammer, one for proof reconstruction in SMT. provided by Mathias Fleury
11 months ago, by blanchet
tuned whitespace;
11 months ago, by wenzelm
prefer static object, while class is required for "services" (see 47eb96592aa2);
11 months ago, by wenzelm
clarified directories;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
tuned: prefer explicit update operation for immutable options;
11 months ago, by wenzelm
tuned message;
11 months ago, by wenzelm
more robust type, with explicit default;
11 months ago, by wenzelm
tuned usage message;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
more robust defaults;
11 months ago, by wenzelm
merged
11 months ago, by desharna
added lemmas relpow_trans[trans] and relpowp_trans[trans]
11 months ago, by desharna
more on disjunctive addition/subtraction
11 months ago, by haftmann
merged
11 months ago, by wenzelm
prefer physical processors (see also 4b014e6c1dfe and 26a43785590b);
11 months ago, by wenzelm
more robust: avoid occasional problems reading this special file (e.g. SSH.Local or "lxcisa0");
11 months ago, by wenzelm
more robust default;
11 months ago, by wenzelm
more accurate, notably on lxbroy10 and vmnipkow9;
11 months ago, by wenzelm
clarified num_processors: follow Poly/ML (with its inaccuracies);
11 months ago, by wenzelm
clarified modules, following Isabelle/ML;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
tuned comments;
11 months ago, by wenzelm
merged
11 months ago, by paulson
the syntax of Lebesgue integrals (LINT, LBINT, ∫, etc.) now requires parentheses
11 months ago, by paulson
merged
11 months ago, by paulson
A few lemmas brought in from AFP entries
11 months ago, by paulson
merged
11 months ago, by traytel
made destructor-view tactic more robust (by Jan van Brügge)
11 months ago, by traytel
performance optimization;
11 months ago, by Fabian Huch
clarified names;
11 months ago, by Fabian Huch
clarified scheduler: proper split into scheduler, generator, and priority rules (following 32d00ec387f4);
11 months ago, by Fabian Huch
proper "linux_arm", amending 76ad72736e9e;
11 months ago, by wenzelm
more lemmas
11 months ago, by haftmann
new lemmas involving Ramsey numbers, infinite sets
11 months ago, by paulson
simplified class specification
11 months ago, by haftmann
Removal of duplicate code
11 months ago, by paulson
Two new theorems
11 months ago, by paulson
more lemmas and more correct lemma names
11 months ago, by haftmann
NEWS: corrected the definition of convexity of functions
11 months ago, by paulson
Further lemmas concerning complexity and measures
11 months ago, by paulson
Correct the definition of a convex function, and updated the proofs
11 months ago, by paulson
merged;
11 months ago, by wenzelm
update to windows_app-20240205, with executables for linux, linux_arm, macos;
11 months ago, by wenzelm
omit redundant options;
11 months ago, by wenzelm
tuned README;
11 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip