- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed Advanced Search
Advanced Search
Advanced Search
Oct 19 2020
Oct 19 2020
Oct 18 2020
Oct 18 2020
clarified basic Linux packages;
Oct 16 2020
Oct 16 2020
discontinued old platforms;
Oct 15 2020
Oct 15 2020
more standard Value.print_time;
makarius committed rISABELLEb772a93d44aa: disable verit-2020.10-rmx-1 for now: does not quite work on Windows and macOS;.
disable verit-2020.10-rmx-1 for now: does not quite work on Windows and macOS;
proper support for Windows exe;
makarius committed rISABELLEb452242dce36: proper Isabelle component settings: prefer standard terminology….
proper Isabelle component settings: prefer standard terminology…
Oct 14 2020
Oct 14 2020
provide verit-2020.10-rmx for testing (inactive);
proper setup for Windows/MinGW;
proper libraries_closure for libgmp;
makarius committed rISABELLE70032f83b9be: updated to polyml-test-d68c6736402e --- follow current ongoing development;.
updated to polyml-test-d68c6736402e --- follow current ongoing development;
Oct 13 2020
Oct 13 2020
proper target directory for libraries;
proper library names on Windows;
makarius committed rISABELLE04403e1ef176: build Isabelle Zipperposition component from OPAM repository;.
build Isabelle Zipperposition component from OPAM repository;
makarius committed rISABELLE0822ff79eed8: proper support for Windows/Cygwin: "zipperposition" vs. "zipperposition.exe";.
proper support for Windows/Cygwin: "zipperposition" vs. "zipperposition.exe";
tuned messages --- less SPAM;
makarius committed rISABELLE7c552a256ca5: misc tuning and clarification: prefer Executable.libraries_closure;.
misc tuning and clarification: prefer Executable.libraries_closure;
Oct 12 2020
Oct 12 2020
makarius committed rISABELLEcd3419427cd3: activate E 2.5 for production use (see also 5d1a7b688f6d);.
activate E 2.5 for production use (see also 5d1a7b688f6d);
clarified signature;
clarified Executable.libraries_closure;
Oct 11 2020
Oct 11 2020
support for platform-specific executables;
makarius committed rISABELLEff5e700ed490: more robust: ignore existing gmp installation, but let veriT incorporate….
more robust: ignore existing gmp installation, but let veriT incorporate…
makarius committed rISABELLEa3257d0e8bbb: presumably redundant (absent in Windows/Cygwin download);.
presumably redundant (absent in Windows/Cygwin download);
clarified signature;
build Isabelle veriT component from official download;
Oct 10 2020
Oct 10 2020
clarified message;
clarified options;
clarified signature: allow complex bash script;
more explicit MinGW context;
makarius committed rISABELLEf5d60c12deeb: more standard path output (despite platform_path from d55eb82ae77b);.
more standard path output (despite platform_path from d55eb82ae77b);
clarified signature;
more explicit MinGW context;
more libs for build_csdp;
support for MSYS2/MinGW64 on Windows;
tuned --- according to instructions on Website;
updated to csdp-6.1.1, with support for arm64-linux;
proper support for x86_64-windows via msys/mingw64;
more standard build from sources;
Oct 9 2020
Oct 9 2020
makarius committed rISABELLE84edb8f30fbe: component csdp-6.2.0 for testing: example #2 in theory HOL-ex.SOS fails with….
component csdp-6.2.0 for testing: example #2 in theory HOL-ex.SOS fails with…
build Isabelle CSDP component from official downloads;
makarius committed rISABELLEc2b44fb3add4: rebuild component following current "isabelle build_e" and Admin/PLATFORMS;.
rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
proper support for Windows/Cygwin;
build Isabelle SPASS component from unofficial download;
clarified according to Isabelle_System.download;
makarius committed rISABELLE5b15a9f854aa: rebuild component following current "isabelle build_e" and Admin/PLATFORMS;.
rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
makarius committed rISABELLEa49be9fc83c3: discontinued unused eproof_ram (actually absent in version 2.5);.
discontinued unused eproof_ram (actually absent in version 2.5);
discontinued obsolete runepar.pl (see 4a3169d8885c);
Oct 7 2020
Oct 7 2020
updated user + host;
clarified multicore options;
discontinued old machines;
updated tests for macOS 10.14 Mojave;
Oct 5 2020
Oct 5 2020
clarified signature;
clarified signature;
clarified signature;
clarified signature;
Oct 3 2020
Oct 3 2020
makarius committed rISABELLE3e84f4e9651a: clarified arm64-linux base line: prefer Pi OS, which is based on slightly older….
clarified arm64-linux base line: prefer Pi OS, which is based on slightly older…
detect/guess arm32 platform (unsupported);
makarius committed rISABELLE694d0a315d0a: build component according to "isabelle build_e -V 2.5" (inactive);.
build component according to "isabelle build_e -V 2.5" (inactive);
makarius committed rISABELLEb86d1e754e78: updated component according to "isabelle build_e -V 2.0";.
updated component according to "isabelle build_e -V 2.0";
Oct 2 2020
Oct 2 2020
clarified installed files;
makarius committed rISABELLEfc5f10691147: build Isabelle E prover component from official downloads;.
build Isabelle E prover component from official downloads;
clarified signature;
updated for coming release;
makarius committed rISABELLE1f03cc073046: updated to current cygwin-20201002, after 3.1.7-1 from 24-Aug-2020;.
updated to current cygwin-20201002, after 3.1.7-1 from 24-Aug-2020;
clarified platforms;
updated to opam-2.0.7;
Oct 1 2020
Oct 1 2020
makarius committed rISABELLE2d36c214f7fd: support arm64-linux Poly/ML (slow bytecode interpreter only);.
support arm64-linux Poly/ML (slow bytecode interpreter only);
purge arm64-linux --- no build_release support yet;
more systematic platform support, including arm64-linux;
tuned according to hints by IntelliJ IDEA;
Sep 30 2020
Sep 30 2020
makarius committed rISABELLE95c2853dd616: updated certificates to make it work again after recent changes to smt/z3 setup;.
updated certificates to make it work again after recent changes to smt/z3 setup;