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.
override existing action, to retain menu item;
16 months ago, by wenzelm
HOL-Complex_Analysis: coefficient asymptotics for meromorphic functions
16 months ago, by Manuel Eberl
HOL-Library: Changed notation for sum_mset
16 months ago, by Manuel Eberl
tuned;
16 months ago, by wenzelm
proper thread position for reports;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
misc tuning and clarification;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
alternative shortcut, notably for macOS;
16 months ago, by wenzelm
action isabelle.toggle-full-screen;
16 months ago, by wenzelm
some attempts at multi-platform full-screen mode;
16 months ago, by wenzelm
more operations;
16 months ago, by wenzelm
clarified HTML presentation elements;
16 months ago, by wenzelm
more robust bootstrap: Isabelle-jEdit.shasum could be absent;
16 months ago, by wenzelm
tuned whitespace (amending a4bffc0de967);
16 months ago, by wenzelm
clarified caching;
16 months ago, by wenzelm
persistent hash code: much faster caching;
16 months ago, by wenzelm
clarified signature: absorb XZ.Cache into XML.Cache;
16 months ago, by wenzelm
support more direct hash-consing via XML.Cache;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
clarified boundary case;
16 months ago, by wenzelm
more uniform default --- hardly relevant in practice;
16 months ago, by wenzelm
proper ssh_port (amending ffd8283b7be0);
16 months ago, by wenzelm
clarified signature --- internal Cache.none;
16 months ago, by wenzelm
tuned comments;
16 months ago, by wenzelm
more verbosity for potentially bulky presentation;
16 months ago, by wenzelm
tuned signature -- prefer Isabelle/ML structure Integer (despite minor confusion due to canonical argument order of "pow");
16 months ago, by wenzelm
tuned signature -- prefer Isabelle/ML structure Integer;
16 months ago, by wenzelm
tuned signature -- prefer Isabelle/ML structure Integer;
16 months ago, by wenzelm
more lemmas
17 months ago, by nipkow
added lemmas
17 months ago, by nipkow
added lemma
17 months ago, by nipkow
tuned whitespace;
17 months ago, by wenzelm
Added tag Isabelle2021-RC1 for changeset d4b67dc6f4eb
17 months ago, by wenzelm
updated for release;
17 months ago, by wenzelm
clarified HTML presentation, e.g. avoid bulky jobs like HOL or HOL-Analysis in applications;
17 months ago, by wenzelm
follow Phabricator update 2020 Week 42;
17 months ago, by wenzelm
updated for release;
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
proper NEWS according to current situation;
17 months ago, by wenzelm
updated for release;
17 months ago, by wenzelm
tuned (see also b5333fc056da);
17 months ago, by wenzelm
A few more simprules for iff-reasoning
17 months ago, by paulson
infinite products iff simprule
17 months ago, by paulson
merged
17 months ago, by paulson
merged
17 months ago, by paulson
Two biconditional simprules for summable
17 months ago, by paulson
updated to sqlite-jdbc-3.34.0, with support for native arm64-darwin;
17 months ago, by wenzelm
support ISABELLE_APPLE_PLATFORM64 (Apple Silicon);
17 months ago, by wenzelm
more robust: clarified error when merging Hoare_Logic + Hoare_Logic_Abort;
17 months ago, by wenzelm
more robust components_base: avoid fragile directory links on Windows (or Cygwin);
17 months ago, by wenzelm
more NEWS;
17 months ago, by wenzelm
merged
17 months ago, by wenzelm
avoid memory problems on test machine;
17 months ago, by wenzelm
more robust defaults: spurious problems with parallel invocations and interrupts;
17 months ago, by wenzelm
more interrupts;
17 months ago, by wenzelm
avoid multiple uses of the same ML file;
17 months ago, by wenzelm
tuned document, notably authors and sections;
17 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip