| Thu, 07 Aug 2025 22:42:21 +0200 |
wenzelm |
update to jdk-21.0.8;
|
file |
diff |
annotate
|
| Thu, 07 Aug 2025 13:02:14 +0200 |
wenzelm |
more ambitious ISABELLE_JAVA_SYSTEM_OPTIONS, following 1a4be2516f50;
|
file |
diff |
annotate
|
| Tue, 05 Aug 2025 23:31:30 +0200 |
wenzelm |
proper symbol_length (amending e2e43992f339);
|
file |
diff |
annotate
|
| Tue, 05 Aug 2025 21:44:54 +0200 |
wenzelm |
more detailed export "PIDE/files": store offset of the load command, within the pro-forma loaded_theory_command --- this allows to restrict output messages for blobs;
|
file |
diff |
annotate
|
| Sat, 05 Jul 2025 14:19:45 +0200 |
wenzelm |
clarified modules: explicit structure Bires;
|
file |
diff |
annotate
|
| Thu, 26 Jun 2025 17:16:14 +0200 |
wenzelm |
enforce rebuild of Isabelle/ML;
|
file |
diff |
annotate
|
| Sun, 06 Apr 2025 15:11:40 +0200 |
wenzelm |
update to e-3.2, which is actually 3.2.5;
|
file |
diff |
annotate
|
| Thu, 20 Mar 2025 12:39:47 +0100 |
wenzelm |
ZGC of Java 21 is enabled by default: now possible, because Windows Server 2012 (vmnipkow9) has been discontinued;
|
file |
diff |
annotate
|
| Wed, 12 Feb 2025 00:53:15 +0100 |
wenzelm |
back to scala-3.3.4: scalac in 3.3.5 is more than 2 times slower;
|
file |
diff |
annotate
|
| Thu, 06 Feb 2025 12:46:13 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 03 Feb 2025 13:12:44 +0100 |
wenzelm |
update to scala-3.3.5;
|
file |
diff |
annotate
|
| Mon, 27 Jan 2025 12:13:37 +0100 |
wenzelm |
move theory "HOL-Library.Adhoc_Overloading" to Pure;
|
file |
diff |
annotate
|
| Sat, 25 Jan 2025 22:04:07 +0100 |
wenzelm |
conservative update to stackage lts-22.15 and ghc-9.6.6;
|
file |
diff |
annotate
|
| Fri, 24 Jan 2025 20:05:01 +0100 |
wenzelm |
discontinue old Java 17 LTS;
|
file |
diff |
annotate
|
| Fri, 24 Jan 2025 14:35:47 +0100 |
wenzelm |
update to postgresql-42.7.5;
|
file |
diff |
annotate
|
| Fri, 24 Jan 2025 13:06:29 +0100 |
wenzelm |
update to jdk-21.0.6;
|
file |
diff |
annotate
|
| Tue, 14 Jan 2025 11:34:17 +0100 |
wenzelm |
update to ocaml-base-compiler.4.14.1, which coincides with ocaml on Ubuntu 24.04;
|
file |
diff |
annotate
|
| Sat, 21 Dec 2024 13:27:20 +0100 |
wenzelm |
update to xz-java-1.10 for further testing (see also fe7238c01809);
|
file |
diff |
annotate
|
| Thu, 19 Dec 2024 22:19:27 +0100 |
wenzelm |
back to xz-java-1.9, to see if this improves build_manager stability;
|
file |
diff |
annotate
|
| Mon, 16 Dec 2024 13:51:32 +0100 |
wenzelm |
update to sqlite-3.47.1.0;
|
file |
diff |
annotate
|
| Mon, 16 Dec 2024 13:32:36 +0100 |
wenzelm |
updated to postgresql-42.7.4;
|
file |
diff |
annotate
|
| Wed, 11 Dec 2024 12:04:27 +0100 |
wenzelm |
activate e-3.1 as proposed by Martin Desharnais;
|
file |
diff |
annotate
|
| Fri, 15 Nov 2024 21:04:51 +0100 |
wenzelm |
enforce rebuild of Isabelle/ML and Isabelle/Scala;
|
file |
diff |
annotate
|
| Tue, 05 Nov 2024 23:01:09 +0100 |
wenzelm |
update to jdk-21.0.5;
|
file |
diff |
annotate
|
| Sun, 22 Sep 2024 14:41:34 +0200 |
wenzelm |
clarified modules and signature;
|
file |
diff |
annotate
|
| Mon, 16 Sep 2024 19:58:28 +0200 |
wenzelm |
more formal Markup.expression;
|
file |
diff |
annotate
|
| Mon, 02 Sep 2024 20:54:00 +0200 |
wenzelm |
clarified modules: enable pretty.ML to use XML/YXML more directly;
|
file |
diff |
annotate
|
| Wed, 03 Jul 2024 21:22:52 +0200 |
wenzelm |
enforce rebuild of Isabelle/ML;
|
file |
diff |
annotate
|
| Tue, 02 Jul 2024 23:29:46 +0200 |
wenzelm |
enforce rebuild of Isabelle/ML;
|
file |
diff |
annotate
|
| Tue, 02 Jul 2024 16:42:13 +0200 |
wenzelm |
enforce rebuild of Isabelle/ML;
|
file |
diff |
annotate
|
| Fri, 28 Jun 2024 18:30:26 +0200 |
wenzelm |
enforce rebuild of Isabelle/ML;
|
file |
diff |
annotate
|
| Sun, 16 Jun 2024 21:53:24 +0200 |
wenzelm |
enforce rebuild of Isabelle/ML;
|
file |
diff |
annotate
|
| Wed, 17 Apr 2024 23:12:21 +0200 |
wenzelm |
update to jdk-21.0.3;
|
file |
diff |
annotate
|
| Thu, 21 Mar 2024 14:45:15 +0100 |
wenzelm |
enforce rebuild of Isabelle/ML;
|
file |
diff |
annotate
|
| Fri, 01 Mar 2024 21:23:47 +0100 |
wenzelm |
update to scala-3.3.3;
|
file |
diff |
annotate
|
| Thu, 29 Feb 2024 21:06:50 +0100 |
wenzelm |
rebuild bash_process executables on current reference platforms, including native arm64-darwin;
|
file |
diff |
annotate
|
| Wed, 24 Jan 2024 22:43:41 +0100 |
wenzelm |
update to jdk-21.0.2;
|
file |
diff |
annotate
|
| Sat, 20 Jan 2024 22:27:30 +0100 |
wenzelm |
enforce rebuild of Isabelle/Scala + Isabelle/ML;
|
file |
diff |
annotate
|
| Sat, 20 Jan 2024 16:23:51 +0100 |
wenzelm |
clarified bootstrap;
|
file |
diff |
annotate
|
| Sat, 20 Jan 2024 16:09:35 +0100 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
|
| Sat, 20 Jan 2024 15:07:41 +0100 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
|
| Thu, 21 Dec 2023 21:03:02 +0100 |
wenzelm |
proper thm_name for stored zproof;
|
file |
diff |
annotate
|
| Fri, 01 Dec 2023 16:10:09 +0100 |
wenzelm |
clarified bootstrap --- modules related to proofterm.ML;
|
file |
diff |
annotate
|
| Thu, 30 Nov 2023 23:15:18 +0100 |
wenzelm |
tight representation of types / terms / proof terms (presently unused);
|
file |
diff |
annotate
|
| Wed, 29 Nov 2023 00:07:54 +0100 |
wenzelm |
compact representation of sets of integers;
|
file |
diff |
annotate
|
| Fri, 24 Nov 2023 15:58:24 +0100 |
wenzelm |
support for Unix-domain sockets, using java.nio.channels.ServerSocketChannel;
|
file |
diff |
annotate
|
| Mon, 20 Nov 2023 19:52:46 +0100 |
wenzelm |
update to jdk-21.0.1;
|
file |
diff |
annotate
|
| Sat, 21 Oct 2023 21:19:02 +0200 |
wenzelm |
simprocs may be distinguished via 'identifier': only works for ML antiquotation (see also 13252110a6fe);
|
file |
diff |
annotate
|
| Sun, 15 Oct 2023 13:36:48 +0200 |
wenzelm |
updated to stack-2.13.1: include arm64-darwin, although it does not quite work yet (e.g. session "Haskell");
|
file |
diff |
annotate
|
| Mon, 25 Sep 2023 21:30:46 +0200 |
wenzelm |
clarified order of modules: early access to interrupt management of Isabelle_Threads;
|
file |
diff |
annotate
|
| Thu, 21 Sep 2023 17:04:56 +0200 |
wenzelm |
more robust: prefer linear data flow;
|
file |
diff |
annotate
|
| Mon, 04 Sep 2023 17:25:16 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Wed, 30 Aug 2023 21:03:30 +0200 |
wenzelm |
update to "scalac -source 3.3" (from 3.1);
|
file |
diff |
annotate
|
| Wed, 31 May 2023 11:14:15 +0200 |
wenzelm |
enable scala-3.3.0, with forced rebuild of Isabelle/Scala and Isabelle/ML;
|
file |
diff |
annotate
|
| Tue, 09 May 2023 23:12:09 +0200 |
wenzelm |
enforce rebuild of Isabelle/ML + Isabelle/Scala;
|
file |
diff |
annotate
|
| Wed, 19 Apr 2023 23:27:33 +0200 |
wenzelm |
more operations, following Isabelle/ML conventions;
|
file |
diff |
annotate
|
| Fri, 14 Apr 2023 21:34:51 +0200 |
wenzelm |
more operations, following Isabelle/ML conventions;
|
file |
diff |
annotate
|
| Fri, 14 Apr 2023 20:42:17 +0200 |
wenzelm |
more operations, following Isabelle/ML conventions;
|
file |
diff |
annotate
|
| Thu, 13 Apr 2023 23:16:18 +0200 |
wenzelm |
compact representation of long name "chunks", with bitmask to suppress elements (i.e. "accesses" in name space terminology);
|
file |
diff |
annotate
|
| Sat, 01 Apr 2023 13:04:59 +0200 |
wenzelm |
tuned: prefer "build" combinator;
|
file |
diff |
annotate
|
| Mon, 27 Mar 2023 19:41:18 +0200 |
wenzelm |
efficient representation of sets: more compact than Table.set;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2023 20:31:30 +0100 |
wenzelm |
enforce rebuild of Isabelle/ML;
|
file |
diff |
annotate
|
| Mon, 13 Mar 2023 22:21:33 +0100 |
wenzelm |
enforce rebuild of Isabelle/ML;
|
file |
diff |
annotate
|
| Thu, 09 Mar 2023 14:29:46 +0100 |
wenzelm |
enforce rebuild of Isabelle/ML;
|
file |
diff |
annotate
|
| Wed, 08 Mar 2023 22:43:04 +0100 |
wenzelm |
enforce rebuild of Isabelle/ML;
|
file |
diff |
annotate
|
| Sun, 05 Mar 2023 20:41:45 +0100 |
wenzelm |
enforce rebuild of Isabelle/ML, after various changes to build database management;
|
file |
diff |
annotate
|
| Sun, 05 Mar 2023 12:52:04 +0100 |
wenzelm |
enforce rebuild of Isabelle/ML, after various changes to build database management;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2023 20:27:11 +0100 |
wenzelm |
enforce rebuild of Isabelle/ML, after various changes to build database management;
|
file |
diff |
annotate
|
| Fri, 27 Jan 2023 15:22:26 +0100 |
wenzelm |
back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning value classes (e.g. "isabelle.Time.now()");
|
file |
diff |
annotate
|
| Sun, 22 Jan 2023 23:29:34 +0100 |
wenzelm |
update to jdk-17.0.6;
|
file |
diff |
annotate
|
| Fri, 06 Jan 2023 17:59:56 +0100 |
wenzelm |
enforce rebuild of Isabelle/ML to update build databases;
|
file |
diff |
annotate
|
| Sun, 01 Jan 2023 21:44:08 +0100 |
wenzelm |
store session sources within build database: timing e.g. 150ms for HOL and < 50ms for common sessions;
|
file |
diff |
annotate
|
| Wed, 28 Dec 2022 16:02:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 25 Nov 2022 21:58:40 +0100 |
wenzelm |
update to scala-3.2.1;
|
file |
diff |
annotate
|
| Sun, 13 Nov 2022 20:28:39 +0100 |
wenzelm |
ML support for the Prism.js syntax highlighter -- via Isabelle/Scala;
|
file |
diff |
annotate
|
| Fri, 21 Oct 2022 16:39:31 +0200 |
wenzelm |
generic support for XZ and Zstd compression in Isabelle/Scala;
|
file |
diff |
annotate
|
| Thu, 20 Oct 2022 23:46:49 +0200 |
wenzelm |
enforce fresh build;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2022 16:34:45 +0200 |
wenzelm |
update to scala-3.2.0;
|
file |
diff |
annotate
|
| Mon, 05 Sep 2022 21:18:40 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 26 Aug 2022 21:25:35 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Thu, 25 Aug 2022 15:30:21 +0200 |
wenzelm |
maintain "uuid" column in session build database, to identity the original build process uniquely;
|
file |
diff |
annotate
|
| Sat, 23 Jul 2022 11:26:28 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 22 Jul 2022 15:15:26 +0200 |
wenzelm |
command 'scala_build_generated_files' with proper management of source dependencies;
|
file |
diff |
annotate
|
| Thu, 21 Jul 2022 14:26:53 +0200 |
wenzelm |
support for Java language;
|
file |
diff |
annotate
|
| Fri, 08 Jul 2022 22:29:26 +0200 |
wenzelm |
support for Isabelle/Scala/Java modules in Isabelle/ML;
|
file |
diff |
annotate
|
| Sat, 25 Jun 2022 16:51:24 +0200 |
wenzelm |
prefer antiquotations;
|
file |
diff |
annotate
|
| Sat, 25 Jun 2022 13:19:15 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 24 Jun 2022 23:31:28 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 21 Jun 2022 13:14:09 +0200 |
wenzelm |
support for scalable byte strings, with incremental construction;
|
file |
diff |
annotate
|
| Thu, 28 Oct 2021 11:37:49 +0200 |
wenzelm |
tuned modules;
|
file |
diff |
annotate
|
| Tue, 26 Oct 2021 16:01:05 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 20 Oct 2021 16:45:10 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 09 Sep 2021 15:45:27 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 12 Aug 2021 13:13:10 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 08 Jun 2021 13:17:45 +0200 |
wenzelm |
more formal ML profiling messages;
|
file |
diff |
annotate
|
| Mon, 07 Jun 2021 16:40:26 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 21 May 2021 12:29:29 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 02 May 2021 14:07:19 +0200 |
wenzelm |
early definition of ML antiquotations;
|
file |
diff |
annotate
|
| Fri, 16 Apr 2021 23:35:20 +0200 |
wenzelm |
clarified conditional ML;
|
file |
diff |
annotate
|
| Sun, 11 Apr 2021 21:32:09 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 22:58:17 +0200 |
wenzelm |
further clarification of Isabelle distribution identification -- avoid odd patching of sources;
|
file |
diff |
annotate
|
| Tue, 23 Mar 2021 19:47:15 +0100 |
wenzelm |
enforce full build;
|
file |
diff |
annotate
|
| Sun, 21 Mar 2021 23:16:34 +0100 |
wenzelm |
enforce full build;
|
file |
diff |
annotate
|
| Fri, 05 Mar 2021 16:09:42 +0100 |
wenzelm |
clarified signature --- augment existing structure Time;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 22:03:33 +0100 |
wenzelm |
enforce full build, after significant changes in Isabelle/Scala;
|
file |
diff |
annotate
|
| Mon, 22 Feb 2021 14:48:03 +0100 |
wenzelm |
clarified signature, following Isabelle/Scala;
|
file |
diff |
annotate
|
| Sun, 21 Feb 2021 00:49:09 +0100 |
wenzelm |
clarified lines (again);
|
file |
diff |
annotate
|
| Sat, 20 Feb 2021 23:01:35 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 20 Feb 2021 22:09:16 +0100 |
wenzelm |
more uniform Bash.process: always ask Isabelle/Scala;
|
file |
diff |
annotate
|
| Sun, 07 Feb 2021 15:32:57 +0100 |
wenzelm |
clarified modules: less redundancy;
|
file |
diff |
annotate
|
| Sun, 07 Feb 2021 12:55:41 +0100 |
wenzelm |
clarified modules: allow early invocation of Scala functions;
|
file |
diff |
annotate
|
| Sun, 07 Feb 2021 12:30:52 +0100 |
wenzelm |
clarified modules: allow early definition of protocol commands;
|
file |
diff |
annotate
|
| Sat, 16 Jan 2021 22:52:43 +0100 |
wenzelm |
updated to scala-2.13.4;
|
file |
diff |
annotate
|
| Sun, 20 Dec 2020 15:47:54 +0100 |
wenzelm |
present auxiliary files with PIDE markup;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 17:38:03 +0100 |
wenzelm |
clarified protocol: Doc.check at run-time via Scala function;
|
file |
diff |
annotate
|
| Tue, 24 Nov 2020 16:39:58 +0100 |
wenzelm |
clarified signature and database layout;
|
file |
diff |
annotate
|
| Fri, 20 Nov 2020 23:47:34 +0100 |
wenzelm |
generate theory HTML in Isabelle/Scala;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 15:47:53 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 01 Nov 2020 16:54:49 +0100 |
haftmann |
bundle mixins for locale and class specifications
|
file |
diff |
annotate
|