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.
proper ssh_port (amending ffd8283b7be0);
19 months ago, by wenzelm
clarified signature --- internal Cache.none;
19 months ago, by wenzelm
tuned comments;
19 months ago, by wenzelm
more verbosity for potentially bulky presentation;
19 months ago, by wenzelm
tuned signature -- prefer Isabelle/ML structure Integer (despite minor confusion due to canonical argument order of "pow");
19 months ago, by wenzelm
tuned signature -- prefer Isabelle/ML structure Integer;
19 months ago, by wenzelm
tuned signature -- prefer Isabelle/ML structure Integer;
19 months ago, by wenzelm
more lemmas
19 months ago, by nipkow
added lemmas
19 months ago, by nipkow
added lemma
19 months ago, by nipkow
tuned whitespace;
19 months ago, by wenzelm
Added tag Isabelle2021-RC1 for changeset d4b67dc6f4eb
19 months ago, by wenzelm
updated for release;
19 months ago, by wenzelm
clarified HTML presentation, e.g. avoid bulky jobs like HOL or HOL-Analysis in applications;
19 months ago, by wenzelm
follow Phabricator update 2020 Week 42;
19 months ago, by wenzelm
updated for release;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
proper NEWS according to current situation;
19 months ago, by wenzelm
updated for release;
19 months ago, by wenzelm
tuned (see also b5333fc056da);
19 months ago, by wenzelm
A few more simprules for iff-reasoning
19 months ago, by paulson
infinite products iff simprule
19 months ago, by paulson
merged
19 months ago, by paulson
merged
19 months ago, by paulson
Two biconditional simprules for summable
19 months ago, by paulson
updated to sqlite-jdbc-3.34.0, with support for native arm64-darwin;
19 months ago, by wenzelm
support ISABELLE_APPLE_PLATFORM64 (Apple Silicon);
19 months ago, by wenzelm
more robust: clarified error when merging Hoare_Logic + Hoare_Logic_Abort;
19 months ago, by wenzelm
more robust components_base: avoid fragile directory links on Windows (or Cygwin);
19 months ago, by wenzelm
more NEWS;
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
avoid memory problems on test machine;
19 months ago, by wenzelm
more robust defaults: spurious problems with parallel invocations and interrupts;
19 months ago, by wenzelm
more interrupts;
19 months ago, by wenzelm
avoid multiple uses of the same ML file;
19 months ago, by wenzelm
tuned document, notably authors and sections;
19 months ago, by wenzelm
clarified presentation of files for each theory;
19 months ago, by wenzelm
disable auto_nitpick for now: spurious problems with non-termination e.g. in HOL-Hoare examples;
19 months ago, by wenzelm
clarified modules: avoid multiple uses of the same ML file;
19 months ago, by wenzelm
clarified session: avoid merge of different syntax from different Hoare logics;
19 months ago, by wenzelm
clarified modules: avoid multiple uses of the same ML file;
19 months ago, by wenzelm
clarified syntax modes, avoid obsolete "xsymbols";
19 months ago, by wenzelm
clarified fonts, notably for Windows L&F;
19 months ago, by wenzelm
support jdk-15;
19 months ago, by wenzelm
more friendly desktop application on macOS;
20 months ago, by wenzelm
default simprule for geometric series
19 months ago, by paulson
tuned
19 months ago, by nipkow
less aggressive auto-build: avoid change of running jar;
20 months ago, by wenzelm
clarified window size;
20 months ago, by wenzelm
more robust Java monitor: avoid odd warning about insecure connection;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
misc tuning for release;
20 months ago, by wenzelm
rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer;
20 months ago, by wenzelm
sort lines;
20 months ago, by wenzelm
provide zipperposition-2.0 for experimentation;
20 months ago, by wenzelm
merged
20 months ago, by desharna
tweaked tptp parsing when source info is missing
20 months ago, by desharna
tuned comments;
20 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip