Page MenuHomeIsabelle/Phabricator
Feed Advanced Search

Yesterday

makarius committed rAFP0df87a34e8a0: merged.
merged
Thu, Mar 28, 5:51 PM
makarius committed rAFPabe7b3319f06: tuned whitespace;.
tuned whitespace;
Thu, Mar 28, 5:51 PM
makarius committed rAFP5aca58481bd5: tuned proofs: avoid z3 to make it work on arm64-linux;.
tuned proofs: avoid z3 to make it work on arm64-linux;
Thu, Mar 28, 5:51 PM
makarius committed rAFP2c25484e1496: tuned proofs: avoid z3 to make it work on arm64-linux;.
tuned proofs: avoid z3 to make it work on arm64-linux;
Thu, Mar 28, 5:51 PM
makarius committed rAFP4c396108a3a9: tuned proofs: avoid z3 to make it work on arm64-linux;.
tuned proofs: avoid z3 to make it work on arm64-linux;
Thu, Mar 28, 5:51 PM
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.
Thu, Mar 28, 4:45 PM
makarius committed rISABELLE9279e96eb34e: clarified signature;.
clarified signature;
Thu, Mar 28, 4:45 PM
makarius committed rISABELLE42bc8ab751c1: clarified modules: more official Sessions.notable_groups;.
clarified modules: more official Sessions.notable_groups;
Thu, Mar 28, 4:45 PM
makarius committed rAFP9ce4d6a809c6: update to Isabelle/42bc8ab751c1;.
update to Isabelle/42bc8ab751c1;
Thu, Mar 28, 4:45 PM
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;
Thu, Mar 28, 1:16 PM
makarius committed rISABELLE7d8a24c5559d: tuned signature;.
tuned signature;
Thu, Mar 28, 12:20 PM
makarius committed rISABELLEb525f783b784: tuned;.
tuned;
Thu, Mar 28, 12:20 PM
makarius committed rISABELLEa213dd3c0b29: tuned signature;.
tuned signature;
Thu, Mar 28, 12:19 PM

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;
Wed, Mar 27, 10:56 PM
makarius committed rAFP1699d5f4b11d: proper Go setup, following Isabelle/da323d3d7570;.
proper Go setup, following Isabelle/da323d3d7570;
Wed, Mar 27, 10:35 PM
makarius committed rISABELLEda323d3d7570: proper "isabelle go_setup" for Jenkins;.
proper "isabelle go_setup" for Jenkins;
Wed, Mar 27, 10:12 PM
makarius committed rAFP1a2512112874: tuned proofs: avoid z3 to make it work on arm64-linux;.
tuned proofs: avoid z3 to make it work on arm64-linux;
Wed, Mar 27, 9:52 PM
makarius committed rAFPd8244335636c: tuned proofs: avoid z3 to make it work on arm64-linux;.
tuned proofs: avoid z3 to make it work on arm64-linux;
Wed, Mar 27, 9:52 PM
makarius committed rAFPd9d45697c125: tuned proofs: avoid z3 to make it work on arm64-linux;.
tuned proofs: avoid z3 to make it work on arm64-linux;
Wed, Mar 27, 9:52 PM
makarius committed rAFP455b44957816: tuned proofs: avoid z3 to make it work on arm64-linux;.
tuned proofs: avoid z3 to make it work on arm64-linux;
Wed, Mar 27, 9:52 PM
makarius committed rAFPd0bd37a0fea4: tuned proofs: avoid z3 to make it work on arm64-linux;.
tuned proofs: avoid z3 to make it work on arm64-linux;
Wed, Mar 27, 9:52 PM
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);
Wed, Mar 27, 9:51 PM
makarius committed rISABELLE742e39db4d58: tuned message;.
tuned message;
Wed, Mar 27, 5:51 PM
makarius committed rISABELLEa0f93621c332: merged.
merged
Wed, Mar 27, 5:47 PM
makarius committed rISABELLE30eb547bda4a: tuned NEWS;.
tuned NEWS;
Wed, Mar 27, 5:47 PM
makarius committed rISABELLE0732ee5c8ee1: support for "all" platforms;.
support for "all" platforms;
Wed, Mar 27, 5:47 PM
makarius committed rISABELLEb1e2246147eb: clarified signature;.
clarified signature;
Wed, Mar 27, 5:47 PM
makarius committed rISABELLE71d005ffa9fe: remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and….
remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and…
Wed, Mar 27, 3:53 PM
makarius committed rISABELLE98808cc7b0c1: tuned;.
tuned;
Wed, Mar 27, 3:02 PM
makarius committed rISABELLEebd988ee1d57: more robust Markdown;.
more robust Markdown;
Wed, Mar 27, 2:40 PM
makarius committed rISABELLE5c00c04f09fb: misc tuning;.
misc tuning;
Wed, Mar 27, 2:39 PM
makarius committed rISABELLEa2d15ad6877a: run "isabelle components_build -u";.
run "isabelle components_build -u";
Wed, Mar 27, 2:20 PM
makarius committed rISABELLE38bbc2ff3c24: remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup";.
remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup";
Wed, Mar 27, 1:41 PM
makarius committed rISABELLEa03a7d4b82f8: more Setup_Tool services;.
more Setup_Tool services;
Wed, Mar 27, 1:41 PM
makarius committed rISABELLE64e57aafca1e: tuned order;.
tuned order;
Wed, Mar 27, 1:41 PM
makarius committed rISABELLE27f2a6bd5616: proper SSH operations;.
proper SSH operations;
Wed, Mar 27, 1:41 PM
makarius committed rISABELLEd1ac1bb01060: clarified signature;.
clarified signature;
Wed, Mar 27, 1:41 PM
makarius committed rISABELLE77e605c66797: clarified signature: explicit variable is easier to find in source;.
clarified signature: explicit variable is easier to find in source;
Wed, Mar 27, 1:41 PM
makarius committed rISABELLEc43a51fde4f5: tuned signature: more permissive;.
tuned signature: more permissive;
Wed, Mar 27, 1:41 PM
makarius committed rISABELLEba06861e91f9: proper services for Setup_Tool --- avoid hardwired stuff;.
proper services for Setup_Tool --- avoid hardwired stuff;
Wed, Mar 27, 1:41 PM

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…
Tue, Mar 26, 10:12 PM
makarius committed rISABELLEce9b649ee2dd: NEWS for "isabelle go_setup";.
NEWS for "isabelle go_setup";
Tue, Mar 26, 10:12 PM
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…
Tue, Mar 26, 10:12 PM
makarius committed rISABELLE339325fdb128: misc tuning for release;.
misc tuning for release;
Tue, Mar 26, 10:12 PM
makarius committed rISABELLE6d01661a055b: merged;.
merged;
Tue, Mar 26, 10:12 PM
makarius committed rISABELLE07c83d3369c0: misc tuning, following go_setup;.
misc tuning, following go_setup;
Tue, Mar 26, 10:12 PM
makarius committed rISABELLEf1686f71dffc: proper platform_path for Windows;.
proper platform_path for Windows;
Tue, Mar 26, 10:12 PM
makarius committed rISABELLEb082476a8036: dynamic setup of Go component, similar to Dotnet;.
dynamic setup of Go component, similar to Dotnet;
Tue, Mar 26, 10:12 PM
makarius committed rISABELLEac10e32938df: clarified signature: more operations;.
clarified signature: more operations;
Tue, Mar 26, 10:12 PM
makarius committed rISABELLE6964a23f595a: tuned comments;.
tuned comments;
Tue, Mar 26, 10:12 PM
makarius committed rISABELLE914c4a81027d: clarified signature: explicit type Platform.Info with derived operations;.
clarified signature: explicit type Platform.Info with derived operations;
Tue, Mar 26, 10:12 PM
makarius committed rISABELLEa4d94dd5c210: less ambitious parallelism: avoid exhaustion of memory (64GB total);.
less ambitious parallelism: avoid exhaustion of memory (64GB total);
Tue, Mar 26, 10:12 PM
makarius committed rISABELLE34c20c8bbdc5: tuned;.
tuned;
Tue, Mar 26, 10:12 PM
makarius committed rISABELLEd89685d3d306: provide ISABELLE_DOTNET_VERSION via settings, following "isabelle ghc_setup";.
provide ISABELLE_DOTNET_VERSION via settings, following "isabelle ghc_setup";
Tue, Mar 26, 10:12 PM
makarius committed rISABELLE31ebb6be32b0: tuned messages;.
tuned messages;
Tue, Mar 26, 10:12 PM
makarius committed rISABELLE7e52091795e8: update to bash_process-20240326;.
update to bash_process-20240326;
Tue, Mar 26, 10:12 PM
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…
Tue, Mar 26, 10:12 PM
makarius committed rISABELLE98384596b54b: clarified meaning of platform.props: update on default;.
clarified meaning of platform.props: update on default;
Tue, Mar 26, 10:12 PM

Mon, Mar 25

makarius committed rISABELLEe94a36467f4e: obsolete: base-line is macOS 11;.
obsolete: base-line is macOS 11;
Mon, Mar 25, 9:11 PM
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);
Mon, Mar 25, 9:11 PM
makarius committed rISABELLE2dcbf5cbc7a1: MLton lacks arm64-linux (see also 84f2d481d6d7);.
MLton lacks arm64-linux (see also 84f2d481d6d7);
Mon, Mar 25, 8:48 PM
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…
Mon, Mar 25, 8:43 PM
makarius committed rISABELLE99511fa536a1: update to stack-2.15.3, stackage-lts-22.6, ghc-9.6.4;.
update to stack-2.15.3, stackage-lts-22.6, ghc-9.6.4;
Mon, Mar 25, 8:43 PM
makarius committed rISABELLE34420f5f2e92: tuned;.
tuned;
Mon, Mar 25, 8:05 PM
makarius committed rISABELLE36e33d227bf0: misc updates, tuning and clarification;.
misc updates, tuning and clarification;
Mon, Mar 25, 7:58 PM
makarius committed rISABELLE3b64d268e5b0: reformat source in jEdit (wrap margin 78);.
reformat source in jEdit (wrap margin 78);
Mon, Mar 25, 7:58 PM
makarius committed rISABELLE917a9856bb3a: merged.
merged
Mon, Mar 25, 7:58 PM
makarius committed rISABELLE980cefd8ff9b: more accurate Markdown formatting, both for VSCode and Phabricator;.
more accurate Markdown formatting, both for VSCode and Phabricator;
Mon, Mar 25, 7:58 PM
makarius committed rISABELLE5c50763f2999: just one README.md;.
just one README.md;
Mon, Mar 25, 7:58 PM
makarius committed rISABELLEee45e96eb7c5: merged.
merged
Mon, Mar 25, 3:44 PM
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…
Mon, Mar 25, 3:44 PM
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";
Mon, Mar 25, 3:44 PM
makarius committed rISABELLEa4100b7ab951: tuned;.
tuned;
Mon, Mar 25, 3:44 PM
makarius committed rISABELLEee04ce2ac13f: clarified signature;.
clarified signature;
Mon, Mar 25, 3:44 PM
makarius committed rISABELLE2cc5182cbb08: clarified modules;.
clarified modules;
Mon, Mar 25, 3:44 PM
makarius committed rISABELLE612f0bb14124: clarified modules;.
clarified modules;
Mon, Mar 25, 3:44 PM
makarius committed rISABELLEc7e6a508a65b: build Isabelle component for Go: all platforms;.
build Isabelle component for Go: all platforms;
Mon, Mar 25, 3:44 PM
makarius committed rISABELLE90f4319c8b4f: misc tuning;.
misc tuning;
Mon, Mar 25, 3:44 PM
makarius committed rISABELLEf0150bc6fea5: just one copy of darwin-universal.tar.gz;.
just one copy of darwin-universal.tar.gz;
Mon, Mar 25, 3:44 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2024.
Mon, Mar 25, 3:42 PM · isabelle-release

Sun, Mar 24

makarius committed rISABELLE1fd5f96e1da3: shutdown lrzcloud2;.
shutdown lrzcloud2;
Sun, Mar 24, 2:20 PM

Thu, Mar 21

makarius committed rISABELLE26592fe88250: merged.
merged
Thu, Mar 21, 11:07 PM
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…
Thu, Mar 21, 11:07 PM
makarius committed rISABELLE6043c3fef052: tuned signature: fewer warnings in IntelliJ IDEA;.
tuned signature: fewer warnings in IntelliJ IDEA;
Thu, Mar 21, 11:07 PM
makarius committed rISABELLE7747a8efcad0: update to sumatra_pdf-3.5.2;.
update to sumatra_pdf-3.5.2;
Thu, Mar 21, 11:07 PM
makarius committed rISABELLE6c4e20a02ac7: update to jsoup-1.17.2;.
update to jsoup-1.17.2;
Thu, Mar 21, 11:07 PM
makarius committed rISABELLEebe559f5a575: enforce rebuild of Isabelle/ML;.
enforce rebuild of Isabelle/ML;
Thu, Mar 21, 11:07 PM
makarius committed rISABELLEef635b035561: proper bib entries (amending 82aaa0d8fc3b);.
proper bib entries (amending 82aaa0d8fc3b);
Thu, Mar 21, 11:07 PM
makarius committed rISABELLEf91d97023beb: update to dotnet-8.0.203;.
update to dotnet-8.0.203;
Thu, Mar 21, 11:07 PM
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;
Thu, Mar 21, 11:07 PM
makarius committed rISABELLEe5fda68d4996: activate postgresql-42.7.3;.
activate postgresql-42.7.3;
Thu, Mar 21, 11:07 PM
makarius committed rISABELLEa2b06af75d3b: update to postgresql-42.7.3;.
update to postgresql-42.7.3;
Thu, Mar 21, 11:07 PM
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…
Thu, Mar 21, 11:07 PM
makarius committed rISABELLE82aaa0d8fc3b: isabelle update -u cite;.
isabelle update -u cite;
Thu, Mar 21, 11:07 PM

Wed, Mar 20

makarius committed rISABELLE67d28b35c5d8: build component for cvc5-latest (ef2bc3f735df);.
build component for cvc5-latest (ef2bc3f735df);
Wed, Mar 20, 10:27 PM

Fri, Mar 15

makarius committed rISABELLE1cfc913987d9: clarified names;.
clarified names;
Fri, Mar 15, 7:17 PM

Thu, Mar 14

makarius committed rISABELLE80487bd00820: update NEWS + CONTRIBUTORS for release;.
update NEWS + CONTRIBUTORS for release;
Thu, Mar 14, 11:06 AM

Wed, Mar 13

makarius committed rISABELLE7b4b524cdee2: merged.
merged
Wed, Mar 13, 11:47 PM
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…
Wed, Mar 13, 11:47 PM
makarius committed rISABELLE70d4dcede0dc: tuned;.
tuned;
Wed, Mar 13, 11:47 PM