Admin/components/components.sha1
16 months ago wenzelm 2018-05-20 updated to scala-2.12.6;
16 months ago blanchet 2018-05-17 updated some Sledgehammer components, following Makarius advice
16 months ago wenzelm 2018-05-04 no censorship of view title;
17 months ago wenzelm 2018-04-20 updated to postgresql-42.2.2, with more smooth support for Java 9/10;
17 months ago wenzelm 2018-04-19 updated to jdk-8u172;
17 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;
17 months ago wenzelm 2018-04-17 updated to xz-java-1.8;
17 months ago wenzelm 2018-04-17 updated windows_app to launch4j 3.11 and 7zsd_extra_171_3901.7z (reconstructed by Chris Lake);
17 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;
18 months ago wenzelm 2018-03-27 updated to scala-2.12.5;
19 months ago wenzelm 2018-02-13 updated polyml component;
19 months ago wenzelm 2018-02-11 updated polyml component -- omitting bad polyml-5.7.1-3;
19 months ago wenzelm 2018-02-10 updated to polyml-5.7.1-2, which includes libgmp for x86-darwin as well;
19 months ago wenzelm 2018-02-09 rebuild of polyml-5.7.1 with libgmp for x86_darwin;
20 months ago wenzelm 2018-01-23 updated to jdk-8u162;
20 months ago wenzelm 2018-01-13 added glyph from "Deja Vu Sans Mono" font;
20 months ago wenzelm 2017-12-30 more robust hyphen (see also "Soft hyphen (SHY) – a hard problem?" http://jkorpela.fi/shy.html);
21 months ago wenzelm 2017-12-22 HTML rendering of \<^control> as in Isabelle/jEdit;
21 months ago wenzelm 2017-12-21 bibtex HTML output via external tool;
22 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;
22 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;
22 months ago wenzelm 2017-11-05 updated to scala-2.12.4;
22 months ago wenzelm 2017-11-04 polyml-test version based on experimental branch NewTestRegisterSave;
22 months ago wenzelm 2017-10-29 more recent polyml-test version;
23 months ago wenzelm 2017-10-23 updated to jdk-8u152, which is for x86_64 only;
23 months ago wenzelm 2017-10-22 auto update;
23 months ago wenzelm 2017-10-22 more recent polyml-test version;
23 months ago wenzelm 2017-10-03 more recent polyml-test version;
23 months ago blanchet 2017-09-30 added veriT component
23 months ago wenzelm 2017-09-30 updated to x86_64-cygwin;
23 months ago wenzelm 2017-09-30 auto update;
24 months ago wenzelm 2017-09-25 basic support for x86_64-cygwin;
24 months ago wenzelm 2017-09-23 updated component: static build of for x86-linux, using actual cvc4 1.5 (see also c41642bc1ebb);
24 months ago blanchet 2017-09-22 updated CVC4 and E components with 32-bit Linux and rebuild 64-bit Linux binaries
2017-09-08 blanchet 2017-09-08 added/updated components
2017-09-01 wenzelm 2017-09-01 auto update;
2017-08-28 wenzelm 2017-08-28 updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
2017-08-24 blanchet 2017-08-24 upgraded CVC4 component to fix abnormal termination reported by Larry Paulson
2017-08-21 wenzelm 2017-08-21 updated to sqlite-jdbc-3.20.0;
2017-08-21 wenzelm 2017-08-21 updated to postgresql-42.1.4;
2017-08-14 wenzelm 2017-08-14 updated to scala-2.12.3;
2017-08-14 wenzelm 2017-08-14 auto update;
2017-08-14 wenzelm 2017-08-14 updated to jdk-8u144;
2017-08-07 blanchet 2017-08-07 E 2.0 component
2017-08-03 blanchet 2017-08-03 updated CVC4 component to official 1.5 release
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 avoid mixture of symlinks and hardlinks, which causes problems with BSD tar on macOS Sierra;
2017-05-19 wenzelm 2017-05-19 updated;
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-05-12 wenzelm 2017-05-12 updated to polyml-5.7 for testing (not yet ready for production use);
2017-03-19 wenzelm 2017-03-19 updated to jedit-5.4.0;
2017-02-17 wenzelm 2017-02-17 updated to polyml-5.7 pre-release from repository;
2017-02-08 wenzelm 2017-02-08 updated;
2017-02-08 wenzelm 2017-02-08 minimal support for PostgreSQL databases;
2017-01-22 wenzelm 2017-01-22 updated to jdk-8u121;
2016-12-10 wenzelm 2016-12-10 updated Poly/ML repository test version (08-Dec-2016);
2016-11-13 wenzelm 2016-11-13 more cronjob tasks, using Poly/ML repository version from 13-Nov-2016;