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