- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed Advanced Search
Advanced Search
Advanced Search
Yesterday
Yesterday
tuned proofs: avoid z3 to make it work on arm64-linux;
tuned proofs: avoid z3 to make it work on arm64-linux;
tuned proofs: avoid z3 to make it work on arm64-linux;
makarius committed rISABELLE87f90735e6dd: removed unused/obsolete material: some of it was motivated by Isabelle/MMT (e.g..
removed unused/obsolete material: some of it was motivated by Isabelle/MMT (e.g.
clarified signature;
makarius committed rISABELLE42bc8ab751c1: clarified modules: more official Sessions.notable_groups;.
clarified modules: more official Sessions.notable_groups;
update to Isabelle/42bc8ab751c1;
makarius committed rISABELLE9cdc4f533b91: rebuild rsync-3.2.7 on current platforms, including native arm64-darwin;.
rebuild rsync-3.2.7 on current platforms, including native arm64-darwin;
Wed, Mar 27
Wed, Mar 27
makarius committed rISABELLE308ccc1ef982: proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests;.
proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests;
proper Go setup, following Isabelle/da323d3d7570;
proper "isabelle go_setup" for Jenkins;
tuned proofs: avoid z3 to make it work on arm64-linux;
tuned proofs: avoid z3 to make it work on arm64-linux;
tuned proofs: avoid z3 to make it work on arm64-linux;
tuned proofs: avoid z3 to make it work on arm64-linux;
tuned proofs: avoid z3 to make it work on arm64-linux;
makarius committed rISABELLEa0210a24b547: dummy Admin/components/go to avoid crash of Jenkins (see 38bbc2ff3c24);.
dummy Admin/components/go to avoid crash of Jenkins (see 38bbc2ff3c24);
support for "all" platforms;
clarified signature;
makarius committed rISABELLE71d005ffa9fe: remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and….
remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and…
more robust Markdown;
run "isabelle components_build -u";
makarius committed rISABELLE38bbc2ff3c24: remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup";.
remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup";
more Setup_Tool services;
proper SSH operations;
clarified signature;
makarius committed rISABELLE77e605c66797: clarified signature: explicit variable is easier to find in source;.
clarified signature: explicit variable is easier to find in source;
tuned signature: more permissive;
makarius committed rISABELLEba06861e91f9: proper services for Setup_Tool --- avoid hardwired stuff;.
proper services for Setup_Tool --- avoid hardwired stuff;
Tue, Mar 26
Tue, Mar 26
makarius committed rISABELLEac4412562c7b: more robust XML body: allow empty text, as well as arbitrary pro-forma markup….
more robust XML body: allow empty text, as well as arbitrary pro-forma markup…
NEWS for "isabelle go_setup";
makarius committed rISABELLEfb96063456fd: more robust: untyped/unscoped markup elements need to reside in module Markup….
more robust: untyped/unscoped markup elements need to reside in module Markup…
misc tuning for release;
misc tuning, following go_setup;
proper platform_path for Windows;
dynamic setup of Go component, similar to Dotnet;
clarified signature: more operations;
makarius committed rISABELLE914c4a81027d: clarified signature: explicit type Platform.Info with derived operations;.
clarified signature: explicit type Platform.Info with derived operations;
makarius committed rISABELLEa4d94dd5c210: less ambitious parallelism: avoid exhaustion of memory (64GB total);.
less ambitious parallelism: avoid exhaustion of memory (64GB total);
makarius committed rISABELLEd89685d3d306: provide ISABELLE_DOTNET_VERSION via settings, following "isabelle ghc_setup";.
provide ISABELLE_DOTNET_VERSION via settings, following "isabelle ghc_setup";
update to bash_process-20240326;
makarius committed rISABELLEee449ca91c3b: build bash_process in Isabelle/Scala, with etc/platforms.prop to preserve all….
build bash_process in Isabelle/Scala, with etc/platforms.prop to preserve all…
clarified meaning of platform.props: update on default;
Mon, Mar 25
Mon, Mar 25
obsolete: base-line is macOS 11;
makarius committed rISABELLE9b532f064649: more robust: always assume x86_64 (or its emulation on ARM);.
more robust: always assume x86_64 (or its emulation on ARM);
MLton lacks arm64-linux (see also 84f2d481d6d7);
makarius committed rISABELLE205bad84a1bd: more ambitious test "AFP (macOS 14 Sonoma, Apple Silicon)", as replacement for….
more ambitious test "AFP (macOS 14 Sonoma, Apple Silicon)", as replacement for…
update to stack-2.15.3, stackage-lts-22.6, ghc-9.6.4;
misc updates, tuning and clarification;
reformat source in jEdit (wrap margin 78);
makarius committed rISABELLE980cefd8ff9b: more accurate Markdown formatting, both for VSCode and Phabricator;.
more accurate Markdown formatting, both for VSCode and Phabricator;
just one README.md;
makarius committed rISABELLEbdea4eccd8d5: support for etc/platform.props, to specify multi-platform directory structure….
support for etc/platform.props, to specify multi-platform directory structure…
makarius committed rISABELLE013558fd6fed: more accurate platform directories: pkg/tool structure is hardwired in "go";.
more accurate platform directories: pkg/tool structure is hardwired in "go";
clarified signature;
build Isabelle component for Go: all platforms;
just one copy of darwin-universal.tar.gz;
Sun, Mar 24
Sun, Mar 24
shutdown lrzcloud2;
Thu, Mar 21
Thu, Mar 21
makarius committed rISABELLE2b9205301ff5: suppress arm64-darwin, which does not support "-codegen native" (required for….
suppress arm64-darwin, which does not support "-codegen native" (required for…
tuned signature: fewer warnings in IntelliJ IDEA;
update to sumatra_pdf-3.5.2;
update to jsoup-1.17.2;
enforce rebuild of Isabelle/ML;
proper bib entries (amending 82aaa0d8fc3b);
update to dotnet-8.0.203;
makarius committed rISABELLE475074795dca: update to sqlite-3.45.2.0: clarified component name, following postgresql;.
update to sqlite-3.45.2.0: clarified component name, following postgresql;
activate postgresql-42.7.3;
update to postgresql-42.7.3;
makarius committed rISABELLE84f2d481d6d7: update to mlton-20210117-2, which covers x86_64-linux, x86_64-darwin, arm64….
update to mlton-20210117-2, which covers x86_64-linux, x86_64-darwin, arm64…
isabelle update -u cite;
Wed, Mar 20
Wed, Mar 20
build component for cvc5-latest (ef2bc3f735df);
Fri, Mar 15
Fri, Mar 15
Thu, Mar 14
Thu, Mar 14
update NEWS + CONTRIBUTORS for release;
Wed, Mar 13
Wed, Mar 13
makarius committed rISABELLE17220dc05991: revert most parts of 0e79fa88cab6: somewhat ambitious attempt to move towards….
revert most parts of 0e79fa88cab6: somewhat ambitious attempt to move towards…