User Details
User Details
- User Since
- Sep 24 2019, 9:33 PM (239 w, 3 d)
- Roles
- Administrator
Yesterday
Yesterday
update Windows test machines;
Thu, Apr 25
Thu, Apr 25
makarius updated the post content for Blog Post: Release Candidates for Isabelle2024.
Wed, Apr 24
Wed, Apr 24
tuned proofs: make it work on Windows;
proper platform_path for Windows;
more robust and more portable, notably for Windows;
Tue, Apr 23
Tue, Apr 23
update Windows build host;
proper command-line;
Thu, Apr 18
Thu, Apr 18
makarius updated the post content for Blog Post: Release Candidates for Isabelle2024.
makarius updated the post content for Blog Post: Release Candidates for Isabelle2024.
makarius updated the post content for Blog Post: Release Candidates for Isabelle2024.
back to post-release mode -- after fork point;
Added tag Isabelle2024-RC2 for changeset ef2134570abb
Wed, Apr 17
Wed, Apr 17
update to jdk-21.0.3;
clarified signature;
Tue, Apr 16
Tue, Apr 16
clarified signature;
minor performance tuning: avoid redundant server access;
clarified modules and options (from store);
clarified signature;
clarified signature;
makarius committed rISABELLEc729b1d58982: more robust tmp_file (see also ab07d4cb7d1c and 146468e05dd4);.
more robust tmp_file (see also ab07d4cb7d1c and 146468e05dd4);
makarius committed rISABELLEdbcd6dc7f70f: back to static numa_nodes (reverting part of c2c59de57df9);.
back to static numa_nodes (reverting part of c2c59de57df9);
Sun, Apr 14
Sun, Apr 14
makarius updated the post content for Blog Post: Release Candidates for Isabelle2024.
Wed, Apr 10
Wed, Apr 10
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 rISABELLE36389d25d33e: rename \undef to \undefined to avoid problems with MacTeX 2014 or Ubuntu 24.04….
rename \undef to \undefined to avoid problems with MacTeX 2014 or Ubuntu 24.04…
Fri, Apr 5
Fri, Apr 5
makarius committed rAFP7efa5914d67a: avoid Scala if-expressions and thus make it work both for -new-syntax or -old….
avoid Scala if-expressions and thus make it work both for -new-syntax or -old…
makarius committed rISABELLE5afbf04418ec: avoid Scala if-expressions and thus make it work both for -new-syntax or -old….
avoid Scala if-expressions and thus make it work both for -new-syntax or -old…
makarius committed rISABELLEbda75c790bfa: proper Scala code for String.literal_of_asciis: avoid ambiguity of ("" ++ ...);.
proper Scala code for String.literal_of_asciis: avoid ambiguity of ("" ++ ...);
makarius committed rISABELLE1b986e5f9764: adjust generated Scala to make it work with scalac -old-syntax and -new-syntax….
adjust generated Scala to make it work with scalac -old-syntax and -new-syntax…
Thu, Apr 4
Thu, Apr 4
makarius committed rISABELLEe2174bf626b8: more portable: prefer official JDBC operation DatabaseMetaData.getColumns();.
more portable: prefer official JDBC operation DatabaseMetaData.getColumns();
makarius committed rAFP931936ecb4e1: proper guard to avoid spurious system messages like "### Ignored report message….
proper guard to avoid spurious system messages like "### Ignored report message…
avoid danger of exponental blowup;
makarius committed rAFP93adc832ec72: avoid aliases of well-known Pure concepts, for the sake of readability;.
avoid aliases of well-known Pure concepts, for the sake of readability;
Wed, Apr 3
Wed, Apr 3
makarius updated the post content for Blog Post: Release Candidates for Isabelle2024.
updated for release;
Added tag Isabelle2024-RC1 for changeset 1231a7fb2510
makarius committed rAFP12db4a7858c0: proper condition = ISABELLE_GOEXE, to make it work without "isabelle go_setup";.
proper condition = ISABELLE_GOEXE, to make it work without "isabelle go_setup";
misc tuning for release;
update for release;
Tue, Apr 2
Tue, Apr 2
update to stack-2.15.5, stackage-lts-22.15;
makarius committed rISABELLE951c371c1cd9: clarified names: discontinue odd convention from 3 decades ago;.
clarified names: discontinue odd convention from 3 decades ago;
makarius committed rISABELLE40f5ddeda2b4: further performance tuning (after f906f7f83dae): interactive mode is closer to….
further performance tuning (after f906f7f83dae): interactive mode is closer to…
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;
Mon, Apr 1
Mon, Apr 1
makarius committed rISABELLE60b6c735b5d5: clarified signature: prefer authentic cterm used in Simplifier, avoid potential….
clarified signature: prefer authentic cterm used in Simplifier, avoid potential…
clarified names (see also 9c00a46d69d0, c5cd7a58cf2d);
makarius committed rISABELLE588ea80f16bb: provide scala-3.4.1, but do not activate it: scala-3.3.x is LTS version;.
provide scala-3.4.1, but do not activate it: scala-3.3.x is LTS version;
makarius committed rISABELLE1478c6d52864: clarified "bulky" sessions (again, see also 06153e2e0cdb), but note that….
clarified "bulky" sessions (again, see also 06153e2e0cdb), but note that…
Thu, Mar 28
Thu, Mar 28
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;
Mar 27 2024
Mar 27 2024
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;