Admin/components/main
12 months ago wenzelm 2018-06-06 updated to sqlite-jdbc-3.23.1;
13 months ago wenzelm 2018-05-20 updated to scala-2.12.6;
13 months ago blanchet 2018-05-17 updated some Sledgehammer components, following Makarius advice
13 months ago wenzelm 2018-05-04 no censorship of view title;
14 months ago wenzelm 2018-04-20 updated to postgresql-42.2.2, with more smooth support for Java 9/10;
14 months ago wenzelm 2018-04-19 updated to jdk-8u172;
14 months ago wenzelm 2018-04-19 updated to jfreechart-1.5.0, but retain bundled iText-2.1.5.jar from jfreechart-1.0.14 to avoid iText-5/7 license complexity;
14 months ago wenzelm 2018-04-17 updated to xz-java-1.8;
14 months ago wenzelm 2018-04-17 updated to jedit-5.5.0; discontinued jedit_build/contrib/jEdit-patched.tar.gz -- its content is in directory jedit_build/contrib/jedit-5.5.0-patched/jEdit;
14 months ago wenzelm 2018-03-27 updated to scala-2.12.5;
16 months ago wenzelm 2018-02-13 updated polyml component;
16 months ago wenzelm 2018-02-11 updated polyml component -- omitting bad polyml-5.7.1-3;
16 months ago wenzelm 2018-02-10 updated to polyml-5.7.1-2, which includes libgmp for x86-darwin as well;
16 months ago wenzelm 2018-02-09 rebuild of polyml-5.7.1 with libgmp for x86_darwin;
17 months ago wenzelm 2018-01-23 updated to jdk-8u162;
17 months ago wenzelm 2018-01-13 added glyph from "Deja Vu Sans Mono" font;
17 months ago wenzelm 2017-12-30 more robust hyphen (see also "Soft hyphen (SHY) – a hard problem?" http://jkorpela.fi/shy.html);
18 months ago wenzelm 2017-12-22 HTML rendering of \<^control> as in Isabelle/jEdit;
18 months ago wenzelm 2017-12-21 bibtex HTML output via external tool;
18 months ago wenzelm 2017-11-27 updated to official release of polyml-5.7.1; back to more modest default heap: e.g. relevant for Pure session for ML IDE; more robust POLYML_EXE;
19 months ago wenzelm 2017-11-07 more recent polyml-test version; afford more heap by default: all platforms are now 64bit and presumably have sufficient memory;
19 months ago wenzelm 2017-11-05 updated to scala-2.12.4;
19 months ago wenzelm 2017-11-05 testing NewTestRegisterSave;
19 months ago wenzelm 2017-10-29 more recent polyml-test version;
20 months ago wenzelm 2017-10-26 use Poly/ML 5.7.1 test version as default;
20 months ago wenzelm 2017-10-23 updated to jdk-8u152, which is for x86_64 only;
20 months ago wenzelm 2017-10-07 prefer native platform x86-windows, to make this work on x86_64-cygwin;
20 months ago blanchet 2017-09-30 added veriT component
21 months ago wenzelm 2017-09-25 basic support for x86_64-cygwin;
21 months ago wenzelm 2017-09-23 updated component: static build of for x86-linux, using actual cvc4 1.5 (see also c41642bc1ebb);
21 months ago blanchet 2017-09-22 updated CVC4 and E components with 32-bit Linux and rebuild 64-bit Linux binaries
21 months ago blanchet 2017-09-08 added/updated components
22 months ago blanchet 2017-08-24 upgraded CVC4 component to fix abnormal termination reported by Larry Paulson
22 months ago wenzelm 2017-08-21 updated to sqlite-jdbc-3.20.0;
22 months ago wenzelm 2017-08-21 updated to postgresql-42.1.4;
22 months ago wenzelm 2017-08-14 updated to scala-2.12.3;
22 months ago wenzelm 2017-08-14 updated to jdk-8u144;
22 months ago blanchet 2017-08-07 E 2.0 component
22 months ago blanchet 2017-08-03 updated CVC4 component to official 1.5 release
24 months ago wenzelm 2017-06-24 back to scala-2.12.2, after a41435469559;
2017-05-22 wenzelm 2017-05-22 back to scala-2.11.8 due to apparent non-termination of HOL-Codegenerator_Test;
2017-05-21 wenzelm 2017-05-21 refer to already extracted library files, to avoid tmp files produced by SQLiteJDBCLoader, which tend to remain after JVM crash;
2017-05-20 wenzelm 2017-05-20 updated to postgresql-42.1.1;
2017-05-20 wenzelm 2017-05-20 updated to sqlite-jdbc-3.18.0;
2017-05-19 wenzelm 2017-05-19 updated to scala-2.12.2;
2017-05-19 wenzelm 2017-05-19 updated to jdk-8u131;
2017-05-19 wenzelm 2017-05-19 updated to xz-java-1.6;
2017-03-19 wenzelm 2017-03-19 updated to jedit-5.4.0;
2017-02-24 wenzelm 2017-02-24 back to Poly/ML 5.6 until odd memory management problems are sorted out;
2017-02-17 wenzelm 2017-02-17 updated to polyml-5.7 pre-release from repository;
2017-02-08 wenzelm 2017-02-08 minimal support for PostgreSQL databases;
2017-01-22 wenzelm 2017-01-22 updated to jdk-8u121;
2016-11-07 blanchet 2016-11-07 added Nunchaku component and tuned Nunchaku integration accordingly
2016-11-04 wenzelm 2016-11-04 back to stable scala-2.11.8;
2016-11-03 wenzelm 2016-11-03 updated to scala-2.12.0;
2016-10-28 wenzelm 2016-10-28 Haskabelle is presently unmaintained;
2016-10-27 blanchet 2016-10-27 updated CVC4 component
2016-10-24 wenzelm 2016-10-24 updated to jedit_build-20161024: Code2HTML 0.7, Navigator 2.7;
2016-10-19 wenzelm 2016-10-19 updated to jdk-8u112;
2016-10-09 wenzelm 2016-10-09 support for SSH in Isabelle/Scala;