Admin/components/components.sha1
23 months ago blanchet 2017-08-24 upgraded CVC4 component to fix abnormal termination reported by Larry Paulson
23 months ago wenzelm 2017-08-21 updated to sqlite-jdbc-3.20.0;
23 months ago wenzelm 2017-08-21 updated to postgresql-42.1.4;
23 months ago wenzelm 2017-08-14 updated to scala-2.12.3;
23 months ago wenzelm 2017-08-14 auto update;
23 months ago wenzelm 2017-08-14 updated to jdk-8u144;
23 months ago blanchet 2017-08-07 E 2.0 component
23 months ago 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;
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;
2016-03-09 wenzelm 2016-03-09 ignore SIGINT in waiting wrapper process; proper "bash_process.c" and "build" within component;
2016-03-09 wenzelm 2016-03-09 bash process with builtin timing;
2016-02-27 wenzelm 2016-02-27 symbol interpretation for \<circle>;
2016-02-13 wenzelm 2016-02-13 updated bash_process;
2016-02-13 wenzelm 2016-02-13 clarified bash process;
2016-02-11 wenzelm 2016-02-11 evade a potential conflict of /bin/bash versus /bin/sh -> dash (notably on Ubuntu and Debian) -- note that execvpe does not exist on old glibc on Ubuntu 10.04 LTS, but the environ should be unchanged;
2016-01-31 wenzelm 2016-01-31 updated to official polyml-5.6;
2016-01-20 wenzelm 2016-01-20 updated jdk;
2016-01-18 wenzelm 2016-01-18 updated polyml;
2016-01-02 wenzelm 2016-01-02 tuned spacing of \<partial>; spontaneous update of .sfd files due to fontforge;
2016-01-01 wenzelm 2016-01-01 glyphs for \<bind>, \<then>;
2015-12-31 wenzelm 2015-12-31 updated sumatra_pdf;
2015-12-31 wenzelm 2015-12-31 updated isabelle_fonts;
2015-12-29 wenzelm 2015-12-29 updated isabelle_fonts;
2015-12-23 wenzelm 2015-12-23 updated polyml;
2015-12-21 wenzelm 2015-12-21 updated Cygwin (somewhere after 1.7.35-1);
2015-12-10 wenzelm 2015-12-10 proper checksum for cygwin-20151210.tar.gz (some snapshot after 1.7.35-1);