| Fri, 22 Jan 2021 19:32:03 +0100 |
wenzelm |
more robust etc/settings;
|
file |
diff |
annotate
|
| Fri, 22 Jan 2021 18:44:34 +0100 |
wenzelm |
IDE support for Naproche-SAD;
|
file |
diff |
annotate
|
| Tue, 19 Jan 2021 13:48:53 +0100 |
wenzelm |
updated to flatlaf-1.0-rc1;
|
file |
diff |
annotate
|
| Sat, 16 Jan 2021 22:52:43 +0100 |
wenzelm |
updated to scala-2.13.4;
|
file |
diff |
annotate
|
| Sat, 09 Jan 2021 22:14:30 +0100 |
wenzelm |
proper size of buttons in Symbols dockable, e.g. \<A> 0x01d49c vs. \<B> 0x00212c;
|
file |
diff |
annotate
|
| Fri, 08 Jan 2021 23:59:28 +0100 |
wenzelm |
support for additional look-and-feels;
|
file |
diff |
annotate
|
| Wed, 06 Jan 2021 16:12:35 +0100 |
wenzelm |
updated jdk-15.0.1+9, including arm64-darwin;
|
file |
diff |
annotate
|
| Thu, 24 Dec 2020 14:24:10 +0100 |
wenzelm |
updated to sqlite-jdbc-3.34.0, with support for native arm64-darwin;
|
file |
diff |
annotate
|
| Wed, 23 Dec 2020 15:01:50 +0100 |
wenzelm |
clarified fonts, notably for Windows L&F;
|
file |
diff |
annotate
|
| Mon, 21 Dec 2020 13:58:11 +0100 |
wenzelm |
rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer;
|
file |
diff |
annotate
|
| Mon, 21 Dec 2020 12:51:28 +0100 |
wenzelm |
provide zipperposition-2.0 for experimentation;
|
file |
diff |
annotate
|
| Mon, 30 Nov 2020 17:00:35 +0100 |
wenzelm |
updated to Haskell stack-2.5.1, stackage lts-16.12, ghc-8.8.4;
|
file |
diff |
annotate
|
| Mon, 30 Nov 2020 16:34:03 +0100 |
wenzelm |
updated to postgresql-42.2.18;
|
file |
diff |
annotate
|
| Mon, 30 Nov 2020 16:22:42 +0100 |
wenzelm |
updated to jfreechart-1.5.1;
|
file |
diff |
annotate
|
| Mon, 30 Nov 2020 15:51:29 +0100 |
wenzelm |
updated to current cygwin-20201130, after 3.1.7-1 from 24-Aug-2020;
|
file |
diff |
annotate
|
| Sun, 22 Nov 2020 13:11:40 +0100 |
wenzelm |
updated to cvc4-1.8;
|
file |
diff |
annotate
|
| Thu, 19 Nov 2020 17:46:58 +0100 |
wenzelm |
updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
|
file |
diff |
annotate
|
| Fri, 06 Nov 2020 13:43:49 +0100 |
wenzelm |
updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
|
file |
diff |
annotate
|
| Sun, 01 Nov 2020 14:04:52 +0100 |
wenzelm |
updated to polyml-test-cf46747fee61 --- follow current ongoing development, with notable changes to structure Foreign;
|
file |
diff |
annotate
|
| Mon, 26 Oct 2020 21:02:51 +0100 |
wenzelm |
updated to jdk-11.0.9+11;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2020 13:24:16 +0200 |
wenzelm |
proper Isabelle component settings: prefer standard terminology "ISABELLE_VERIT", avoid conflict of "VERIT_VERSION" with processing of implicit options by veriT;
|
file |
diff |
annotate
|
| Wed, 14 Oct 2020 22:30:18 +0200 |
wenzelm |
provide verit-2020.10-rmx for testing (inactive);
|
file |
diff |
annotate
|
| Wed, 14 Oct 2020 21:36:17 +0200 |
wenzelm |
updated to polyml-test-d68c6736402e --- follow current ongoing development;
|
file |
diff |
annotate
|
| Mon, 12 Oct 2020 17:40:00 +0200 |
wenzelm |
activate E 2.5 for production use (see also 5d1a7b688f6d);
|
file |
diff |
annotate
|
| Sat, 10 Oct 2020 14:59:43 +0200 |
wenzelm |
updated to csdp-6.1.1, with support for arm64-linux;
|
file |
diff |
annotate
|
| Fri, 09 Oct 2020 21:40:07 +0200 |
wenzelm |
component csdp-6.2.0 for testing: example #2 in theory HOL-ex.SOS fails with return code 206;
|
file |
diff |
annotate
|
| Fri, 09 Oct 2020 13:41:06 +0200 |
wenzelm |
rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
|
file |
diff |
annotate
|
| Fri, 09 Oct 2020 11:44:27 +0200 |
wenzelm |
rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
|
file |
diff |
annotate
|
| Sat, 03 Oct 2020 21:54:53 +0200 |
wenzelm |
clarified arm64-linux base line: prefer Pi OS, which is based on slightly older Debian;
|
file |
diff |
annotate
|
| Sat, 03 Oct 2020 15:11:30 +0200 |
wenzelm |
build component according to "isabelle build_e -V 2.5" (inactive);
|
file |
diff |
annotate
|