Admin/components/components.sha1
Fri, 07 May 2021 13:34:01 +0200 wenzelm updated to polyml-5.8.2 (official release);
Thu, 06 May 2021 20:54:34 +0200 wenzelm removed junk;
Thu, 22 Apr 2021 22:55:41 +0200 wenzelm rebuild executable for x86_64-darwin;
Thu, 22 Apr 2021 22:07:05 +0200 wenzelm clarified command-line;
Wed, 14 Apr 2021 14:28:30 +0200 wenzelm more self-contained support for macOS;
Wed, 31 Mar 2021 10:57:18 +0200 wenzelm more systematic java_library: avoid empty entries, declaration order as for other bash functions;
Mon, 22 Mar 2021 17:24:42 +0100 wenzelm more glyphs proposed by Simon Foster: 0x002713, 0x002717, 0x002af4, 0x002afb, 0x002afd;
Sun, 21 Mar 2021 23:03:31 +0100 wenzelm high-quality blackboard-bold fonts from "txmia" (package "txfonts");
Fri, 19 Mar 2021 23:37:12 +0100 wenzelm publish component;
Thu, 18 Mar 2021 21:49:19 +0100 wenzelm more accurate glyphs 0x25C1 / 0x25B7, based on 0x2A64 / 0x2A65 minus the "minus";
Wed, 17 Mar 2021 22:24:57 +0100 wenzelm more Isabelle symbol definitions for Z Notation, based on https://github.com/isabelle-utp/Z_Toolkit 998c9f7880d3 by Simon Foster;
Wed, 03 Mar 2021 20:56:30 +0100 wenzelm updated to scala-2.13.5 (with scala-swing_2.13-3.0.0);
Sat, 20 Feb 2021 13:42:37 +0100 wenzelm provide naproche-755224402e36; Isabelle2021
Fri, 19 Feb 2021 22:50:10 +0100 wenzelm provide naproche-4ad61140062f;
Sun, 14 Feb 2021 17:32:06 +0100 wenzelm provide naproche-6d0d76ce2f2a;
Sat, 13 Feb 2021 21:19:53 +0100 wenzelm updated to flatlaf-1.0; Isabelle2021-RC6
Mon, 08 Feb 2021 20:47:56 +0100 wenzelm provide naproche-7d0947a91dd5; Isabelle2021-RC5
Sun, 07 Feb 2021 20:43:47 +0100 wenzelm updated to flatlaf-1.0-rc3;
Mon, 01 Feb 2021 18:12:44 +0100 wenzelm avoid interference with FlatLaf fonts, see also jEdit SVN 24885 'Updated Appearance option pane to allow setting "primary" and "secondary" fonts for all look and feels.' (daleanson 2018-08-30);
Mon, 01 Feb 2021 17:15:00 +0100 wenzelm updated to flatlaf-1.0-rc2;
Mon, 01 Feb 2021 13:29:22 +0100 wenzelm provide naproche-20210201; Isabelle2021-RC4
Sat, 30 Jan 2021 13:46:40 +0100 wenzelm bundle more libraries from scala-2.12.x, notably for Isabelle/MMT;
Fri, 29 Jan 2021 21:56:14 +0100 wenzelm provide naproche-20210129;
Wed, 27 Jan 2021 14:31:46 +0100 wenzelm updated to jdk-15.0.2+7;
Tue, 26 Jan 2021 21:33:52 +0100 wenzelm more generic Isabelle_app;
Sun, 24 Jan 2021 21:51:00 +0100 wenzelm provide jdk-11.0.10+9.tar.gz LTS for testing (inactive);
Sun, 24 Jan 2021 17:11:40 +0100 wenzelm provide naproche-20210124 (inactive); Isabelle2021-RC3
Fri, 22 Jan 2021 19:32:03 +0100 wenzelm more robust etc/settings;
Fri, 22 Jan 2021 18:44:34 +0100 wenzelm IDE support for Naproche-SAD;
Tue, 19 Jan 2021 13:48:53 +0100 wenzelm updated to flatlaf-1.0-rc1;
Sat, 16 Jan 2021 22:52:43 +0100 wenzelm updated to scala-2.13.4;
Sat, 09 Jan 2021 22:14:30 +0100 wenzelm proper size of buttons in Symbols dockable, e.g. \<A> 0x01d49c vs. \<B> 0x00212c;
Fri, 08 Jan 2021 23:59:28 +0100 wenzelm support for additional look-and-feels;
Wed, 06 Jan 2021 16:12:35 +0100 wenzelm updated jdk-15.0.1+9, including arm64-darwin;
Thu, 24 Dec 2020 14:24:10 +0100 wenzelm updated to sqlite-jdbc-3.34.0, with support for native arm64-darwin;
Wed, 23 Dec 2020 15:01:50 +0100 wenzelm clarified fonts, notably for Windows L&F;
Mon, 21 Dec 2020 13:58:11 +0100 wenzelm rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer;
Mon, 21 Dec 2020 12:51:28 +0100 wenzelm provide zipperposition-2.0 for experimentation;
Mon, 30 Nov 2020 17:00:35 +0100 wenzelm updated to Haskell stack-2.5.1, stackage lts-16.12, ghc-8.8.4;
Mon, 30 Nov 2020 16:34:03 +0100 wenzelm updated to postgresql-42.2.18;
Mon, 30 Nov 2020 16:22:42 +0100 wenzelm updated to jfreechart-1.5.1;
Mon, 30 Nov 2020 15:51:29 +0100 wenzelm updated to current cygwin-20201130, after 3.1.7-1 from 24-Aug-2020;
Sun, 22 Nov 2020 13:11:40 +0100 wenzelm updated to cvc4-1.8;
Thu, 19 Nov 2020 17:46:58 +0100 wenzelm updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
Fri, 06 Nov 2020 13:43:49 +0100 wenzelm updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
Sun, 01 Nov 2020 14:04:52 +0100 wenzelm updated to polyml-test-cf46747fee61 --- follow current ongoing development, with notable changes to structure Foreign;
Mon, 26 Oct 2020 21:02:51 +0100 wenzelm updated to jdk-11.0.9+11;
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;
Wed, 14 Oct 2020 22:30:18 +0200 wenzelm provide verit-2020.10-rmx for testing (inactive);
Wed, 14 Oct 2020 21:36:17 +0200 wenzelm updated to polyml-test-d68c6736402e --- follow current ongoing development;
Mon, 12 Oct 2020 17:40:00 +0200 wenzelm activate E 2.5 for production use (see also 5d1a7b688f6d);
Sat, 10 Oct 2020 14:59:43 +0200 wenzelm updated to csdp-6.1.1, with support for arm64-linux;
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;
Fri, 09 Oct 2020 13:41:06 +0200 wenzelm rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
Fri, 09 Oct 2020 11:44:27 +0200 wenzelm rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
Sat, 03 Oct 2020 21:54:53 +0200 wenzelm clarified arm64-linux base line: prefer Pi OS, which is based on slightly older Debian;
Sat, 03 Oct 2020 15:11:30 +0200 wenzelm build component according to "isabelle build_e -V 2.5" (inactive);
Sat, 03 Oct 2020 14:32:25 +0200 wenzelm updated component according to "isabelle build_e -V 2.0";
Fri, 02 Oct 2020 16:23:51 +0200 wenzelm updated to current cygwin-20201002, after 3.1.7-1 from 24-Aug-2020;
Fri, 02 Oct 2020 13:08:38 +0200 wenzelm updated to opam-2.0.7;
less more (0) -300 -100 -60 tip