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
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.
removed support for obsolete prover SNARK and underperforming prover E-Par
20 months ago, by blanchet
removed spurious documentation item
20 months ago, by blanchet
removed obsolete unmaintained experimental prover Pirate
20 months ago, by blanchet
tune filename
20 months ago, by desharna
drop obsolete ad hoc support for Satallax isar proof reconstruction
20 months ago, by desharna
recognize THF proofs properly
20 months ago, by desharna
factored out bit comprehension
20 months ago, by haftmann
Fix formatting of default value in help message of "build_e" component.
20 months ago, by desharna
tuned signature;
20 months ago, by wenzelm
updated user + host;
20 months ago, by wenzelm
updated URL;
20 months ago, by wenzelm
clarified multicore options;
20 months ago, by wenzelm
discontinued old machines;
20 months ago, by wenzelm
updated tests for macOS 10.14 Mojave;
20 months ago, by wenzelm
Aded Queues
20 months ago, by nipkow
consolidated for the sake of documentation
20 months ago, by haftmann
tuned;
20 months ago, by wenzelm
merged
21 months ago, by paulson
Simplified some proofs
21 months ago, by paulson
added lemmas; internalized defn in class
21 months ago, by nipkow
merged
21 months ago, by paulson
still not quite fixed...
21 months ago, by paulson
A few more reversions
21 months ago, by paulson
reversion to the explicit existential quantifier
21 months ago, by paulson
more tidying of messy proofs
21 months ago, by paulson
clarified signature;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
merged
21 months ago, by paulson
merged
21 months ago, by paulson
de-applying
21 months ago, by paulson
clarified arm64-linux base line: prefer Pi OS, which is based on slightly older Debian;
21 months ago, by wenzelm
detect/guess arm32 platform (unsupported);
21 months ago, by wenzelm
build component according to "isabelle build_e -V 2.5" (inactive);
21 months ago, by wenzelm
updated component according to "isabelle build_e -V 2.0";
21 months ago, by wenzelm
proper usage;
21 months ago, by wenzelm
clarified;
21 months ago, by wenzelm
merged
21 months ago, by wenzelm
clarified installed files;
21 months ago, by wenzelm
build Isabelle E prover component from official downloads;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
updated for coming release;
21 months ago, by wenzelm
updated to current cygwin-20201002, after 3.1.7-1 from 24-Aug-2020;
21 months ago, by wenzelm
clarified platforms;
21 months ago, by wenzelm
updated to opam-2.0.7;
21 months ago, by wenzelm
merged
21 months ago, by paulson
fixed a bunch of ugly proofs
21 months ago, by paulson
Add more tacing to sledgehammer_isar_trace
21 months ago, by desharna
support arm64-linux Poly/ML (slow bytecode interpreter only);
21 months ago, by wenzelm
purge arm64-linux --- no build_release support yet;
21 months ago, by wenzelm
more systematic platform support, including arm64-linux;
21 months ago, by wenzelm
tuned according to hints by IntelliJ IDEA;
21 months ago, by wenzelm
updated certificates to make it work again after recent changes to smt/z3 setup;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
merged
21 months ago, by wenzelm
updated to sqlite-jdbc-3.32.3.2;
21 months ago, by wenzelm
build Isabelle sqlite-jdbc component from official download;
21 months ago, by wenzelm
support arm64-linux;
21 months ago, by wenzelm
detect arm64-linux platform;
21 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip