Admin/components/components.sha1
17 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;
17 months ago wenzelm 2017-11-05 updated to scala-2.12.4;
17 months ago wenzelm 2017-11-04 polyml-test version based on experimental branch NewTestRegisterSave;
17 months ago wenzelm 2017-10-29 more recent polyml-test version;
18 months ago wenzelm 2017-10-23 updated to jdk-8u152, which is for x86_64 only;
18 months ago wenzelm 2017-10-22 auto update;
18 months ago wenzelm 2017-10-22 more recent polyml-test version;
18 months ago wenzelm 2017-10-03 more recent polyml-test version;
18 months ago blanchet 2017-09-30 added veriT component
18 months ago wenzelm 2017-09-30 updated to x86_64-cygwin;
18 months ago wenzelm 2017-09-30 auto update;
19 months ago wenzelm 2017-09-25 basic support for x86_64-cygwin;
19 months ago wenzelm 2017-09-23 updated component: static build of for x86-linux, using actual cvc4 1.5 (see also c41642bc1ebb);
19 months ago blanchet 2017-09-22 updated CVC4 and E components with 32-bit Linux and rebuild 64-bit Linux binaries
19 months ago blanchet 2017-09-08 added/updated components
19 months ago wenzelm 2017-09-01 auto update;
19 months ago wenzelm 2017-08-28 updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
20 months ago blanchet 2017-08-24 upgraded CVC4 component to fix abnormal termination reported by Larry Paulson
20 months ago wenzelm 2017-08-21 updated to sqlite-jdbc-3.20.0;
20 months ago wenzelm 2017-08-21 updated to postgresql-42.1.4;
20 months ago wenzelm 2017-08-14 updated to scala-2.12.3;
20 months ago wenzelm 2017-08-14 auto update;
20 months ago wenzelm 2017-08-14 updated to jdk-8u144;
20 months ago blanchet 2017-08-07 E 2.0 component
20 months ago blanchet 2017-08-03 updated CVC4 component to official 1.5 release
23 months ago wenzelm 2017-05-21 refer to already extracted library files, to avoid tmp files produced by SQLiteJDBCLoader, which tend to remain after JVM crash;
23 months ago wenzelm 2017-05-20 updated to postgresql-42.1.1;
23 months ago wenzelm 2017-05-20 updated to sqlite-jdbc-3.18.0;
23 months ago wenzelm 2017-05-19 avoid mixture of symlinks and hardlinks, which causes problems with BSD tar on macOS Sierra;
23 months ago wenzelm 2017-05-19 updated;
23 months ago wenzelm 2017-05-19 updated to jdk-8u131;
23 months ago wenzelm 2017-05-19 updated to xz-java-1.6;
23 months ago 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;
2016-11-07 blanchet 2016-11-07 added Nunchaku component and tuned Nunchaku integration accordingly
2016-11-03 wenzelm 2016-11-03 updated to scala-2.12.0;
2016-10-27 blanchet 2016-10-27 updated CVC4 component
2016-10-24 wenzelm 2016-10-24 updated to cygwin-20161024: cygwin.exe from current http://isabelle.in.tum.de/cygwin_2016-1
2016-10-24 wenzelm 2016-10-24 updated to jedit_build-20161024: Code2HTML 0.7, Navigator 2.7;
2016-10-22 wenzelm 2016-10-22 updated to current Cygwin, after 2.6.0-1 from 31-Aug-2016;
2016-10-19 wenzelm 2016-10-19 updated to jdk-8u112;
2016-10-09 wenzelm 2016-10-09 support for SSH in Isabelle/Scala;
2016-10-02 wenzelm 2016-10-02 updated to sumatra_pdf-3.1.2;
2016-10-02 wenzelm 2016-10-02 updated to xz-java-1.5;
2016-10-02 wenzelm 2016-10-02 updated cygwin according to 9416333a17c2, still using old 1.7.35-1;
2016-09-03 wenzelm 2016-09-03 minimal support for SQLite databases;
2016-08-30 wenzelm 2016-08-30 added glyph from "Deja Vu Sans Mono" font;
2016-08-12 wenzelm 2016-08-12 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
2016-08-12 wenzelm 2016-08-12 updated;
2016-08-12 wenzelm 2016-08-12 some icons from Symbola font;
2016-06-01 wenzelm 2016-06-01 isabelle components_checksum -u;
2016-06-01 wenzelm 2016-06-01 updated to jdk-8u92;
2016-03-30 wenzelm 2016-03-30 updated to Navigator 2.6;
2016-03-24 wenzelm 2016-03-24 updated to scala-2.11.8;