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

proper support for x86_64-windows via msys/mingw64;
19 months ago, by wenzelm
more standard build from sources;
19 months ago, by wenzelm
tuned message;
19 months ago, by wenzelm
component csdp-6.2.0 for testing: example #2 in theory HOL-ex.SOS fails with return code 206;
19 months ago, by wenzelm
build Isabelle CSDP component from official downloads;
19 months ago, by wenzelm
rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
19 months ago, by wenzelm
proper support for Windows/Cygwin;
19 months ago, by wenzelm
build Isabelle SPASS component from unofficial download;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
clarified according to Isabelle_System.download;
19 months ago, by wenzelm
misc tuning;
19 months ago, by wenzelm
rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
19 months ago, by wenzelm
discontinued unused eproof_ram (actually absent in version 2.5);
19 months ago, by wenzelm
discontinued obsolete runepar.pl (see 4a3169d8885c);
19 months ago, by wenzelm
tuned mirabelle documentation
19 months ago, by blanchet
removed support for obsolete prover SNARK and underperforming prover E-Par
19 months ago, by blanchet
removed spurious documentation item
19 months ago, by blanchet
removed obsolete unmaintained experimental prover Pirate
19 months ago, by blanchet
tune filename
19 months ago, by desharna
drop obsolete ad hoc support for Satallax isar proof reconstruction
19 months ago, by desharna
recognize THF proofs properly
19 months ago, by desharna
factored out bit comprehension
19 months ago, by haftmann
Fix formatting of default value in help message of "build_e" component.
19 months ago, by desharna
tuned signature;
19 months ago, by wenzelm
updated user + host;
19 months ago, by wenzelm
updated URL;
19 months ago, by wenzelm
clarified multicore options;
19 months ago, by wenzelm
discontinued old machines;
19 months ago, by wenzelm
updated tests for macOS 10.14 Mojave;
19 months ago, by wenzelm
Aded Queues
19 months ago, by nipkow
consolidated for the sake of documentation
19 months ago, by haftmann
tuned;
19 months ago, by wenzelm
merged
19 months ago, by paulson
Simplified some proofs
19 months ago, by paulson
added lemmas; internalized defn in class
19 months ago, by nipkow
merged
19 months ago, by paulson
still not quite fixed...
19 months ago, by paulson
A few more reversions
19 months ago, by paulson
reversion to the explicit existential quantifier
19 months ago, by paulson
more tidying of messy proofs
19 months ago, by paulson
clarified signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
merged
19 months ago, by paulson
merged
19 months ago, by paulson
de-applying
19 months ago, by paulson
clarified arm64-linux base line: prefer Pi OS, which is based on slightly older Debian;
19 months ago, by wenzelm
detect/guess arm32 platform (unsupported);
19 months ago, by wenzelm
build component according to "isabelle build_e -V 2.5" (inactive);
19 months ago, by wenzelm
updated component according to "isabelle build_e -V 2.0";
19 months ago, by wenzelm
proper usage;
19 months ago, by wenzelm
clarified;
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
clarified installed files;
19 months ago, by wenzelm
build Isabelle E prover component from official downloads;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
updated for coming release;
19 months ago, by wenzelm
updated to current cygwin-20201002, after 3.1.7-1 from 24-Aug-2020;
19 months ago, by wenzelm
clarified platforms;
19 months ago, by wenzelm

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

isabelle