Admin/components/main
Sun, 07 Nov 2021 16:30:42 +0100 wenzelm back to scala-2.13.5: avoid crash of Scala REPL on arm64-darwin; Isabelle2021-1-RC2
Sun, 07 Nov 2021 15:46:46 +0100 wenzelm updated to polyml-5.9-5d4caa8f7148, which also contains ARM64 on darwin (unused by default);
Thu, 04 Nov 2021 15:54:01 +0100 wenzelm updated to verit-2021.06.1-rmx, to address "Abnormal termination with exit code 14";
Wed, 03 Nov 2021 00:38:13 +0100 wenzelm suppress sources from jEdit/test, which prevent regular build of the generated scala_project;
Tue, 02 Nov 2021 15:40:02 +0100 wenzelm updated to scala-2.13.7 --- problems with jline disappear after purging $HOME/.inputrc;
Mon, 01 Nov 2021 14:58:04 +0100 wenzelm updated to jdk-17.0.1+12;
Sat, 30 Oct 2021 21:07:20 +0200 wenzelm provide native executables for arm64-darwin, for more robust startup without Rosetta 2;
Sat, 30 Oct 2021 13:12:22 +0200 wenzelm test version of prespective polyml-5.9;
Tue, 19 Oct 2021 16:45:21 +0200 wenzelm updated to jEdit plugin Highlight 2.5;
Thu, 07 Oct 2021 20:53:24 +0200 wenzelm updated to kodkodi-1.5.7. with more robust/portable management of files and processes;
Thu, 07 Oct 2021 14:02:18 +0200 wenzelm provide minisat-2.2.1 on all currently supported platforms, notably as external solver for Nitpick;
Wed, 06 Oct 2021 21:37:59 +0200 wenzelm include arm64-linux;
Wed, 06 Oct 2021 21:18:00 +0200 wenzelm updated to Vampire 4.6, as proposed by Martin Desharnais;
Tue, 05 Oct 2021 00:04:01 +0200 wenzelm include arm64-linux;
Mon, 04 Oct 2021 23:50:21 +0200 wenzelm include arm64-linux;
Mon, 04 Oct 2021 22:03:06 +0200 wenzelm include arm64-linux;
Mon, 04 Oct 2021 13:39:38 +0200 wenzelm support symbol \<Parallel>, based on \bigparallel from stdmaryd (stmary10.pfb: move y=1100, scale 222%, embolden by 40 units, adjust spacing);
Sat, 02 Oct 2021 17:55:36 +0200 wenzelm updated to xz-java-1.9;
Sat, 02 Oct 2021 17:45:49 +0200 wenzelm updated to sqlite-jdbc-3.36.0.3;
Sat, 02 Oct 2021 17:40:03 +0200 wenzelm updated to postgresql-42.2.24;
Sat, 02 Oct 2021 17:32:23 +0200 wenzelm updated to jfreechart-1.5.3;
Sat, 02 Oct 2021 17:21:54 +0200 wenzelm updated to flatlaf-1.6;
Fri, 01 Oct 2021 16:44:08 +0200 Mathias Fleury update syntax for verit draft
Tue, 28 Sep 2021 12:35:43 +0200 desharna updated to Zipperposition 2.1
Fri, 24 Sep 2021 12:53:11 +0200 wenzelm update to e-2.6, following Martin Desharnais;
Wed, 22 Sep 2021 21:27:44 +0200 wenzelm update to jdk-17+35 (LTS);
Wed, 22 Sep 2021 21:20:36 +0200 wenzelm tuned message;
Wed, 22 Sep 2021 20:18:28 +0200 wenzelm unused since 398b7bb9ebdd;
Wed, 15 Sep 2021 19:46:03 +0200 wenzelm provide current vampire-4.5.1: presently unused in Sledgehammer, but relevant for Isabelle/Naproche;
Wed, 15 Sep 2021 16:02:04 +0200 wenzelm clarified name and options for old vampire-4.2.2;
Mon, 02 Aug 2021 14:08:42 +0200 wenzelm clarified jEdit java sources;
Mon, 26 Jul 2021 13:12:22 +0200 wenzelm clarified signature;
Sun, 25 Jul 2021 14:46:08 +0200 wenzelm update to Haskell stack-2.7.3 and stackage lts-17.15;
Sat, 24 Jul 2021 19:55:10 +0200 wenzelm clarified compiler output: allow multithreaded execution;
Sat, 24 Jul 2021 18:01:24 +0200 wenzelm clarified props: more permissive;
Sat, 24 Jul 2021 16:40:10 +0200 wenzelm clarified properties: "module" and "no_build";
Sun, 18 Jul 2021 13:27:23 +0200 wenzelm clarified component setup: exclude jar from active component, but use sources from template within ISABELLE_HOME (relevant for "isabelle scala_project -L");
Sat, 17 Jul 2021 21:56:39 +0200 wenzelm rebuild component;
Sat, 17 Jul 2021 21:31:15 +0200 wenzelm more accurate scala_project, based on build.props of components;
Sat, 17 Jul 2021 13:42:21 +0200 wenzelm clarified build_props: empty module means no build;
Fri, 16 Jul 2021 22:27:00 +0200 wenzelm rebuild component;
Fri, 16 Jul 2021 21:37:19 +0200 wenzelm rebuild component;
Thu, 15 Jul 2021 16:35:45 +0200 wenzelm build.props for isabelle.jar, including isabelle.jedit;
Sun, 11 Jul 2021 16:57:30 +0200 wenzelm clarified modules;
Fri, 09 Jul 2021 21:07:35 +0200 wenzelm rebuild component;
Thu, 08 Jul 2021 16:27:35 +0200 wenzelm clarified component settings;
Thu, 01 Jul 2021 13:46:42 +0200 wenzelm clarified modules and signatures;
Thu, 01 Jul 2021 12:34:42 +0200 wenzelm back to scala-2.13.5: avoid problems with history in scala REPL;
Wed, 30 Jun 2021 20:57:38 +0200 wenzelm support for Isabelle setup in pure Java;
Mon, 28 Jun 2021 13:13:31 +0200 wenzelm updated to scala-2.13.6, with scala-xml 1.3.0 ~> 2.0.0;
Fri, 25 Jun 2021 12:53:56 +0200 wenzelm updated to flatlaf-1.2;
Mon, 10 May 2021 22:18:12 +0200 wenzelm put more resources into jedit_build component;
Mon, 10 May 2021 12:23:30 +0200 wenzelm build auxiliary jEdit component in Isabelle/Scala;
Sat, 08 May 2021 13:06:30 +0200 wenzelm separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597);
Fri, 07 May 2021 16:49:08 +0200 wenzelm tuned comments;
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:36:13 +0200 wenzelm more robust bootstrap of components;
less more (0) -300 -100 -60 tip