Admin/components/main
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-05 testing NewTestRegisterSave;
18 months ago wenzelm 2017-10-29 more recent polyml-test version;
18 months ago wenzelm 2017-10-26 use Poly/ML 5.7.1 test version as default;
18 months ago wenzelm 2017-10-23 updated to jdk-8u152, which is for x86_64 only;
18 months ago wenzelm 2017-10-07 prefer native platform x86-windows, to make this work on x86_64-cygwin;
19 months ago blanchet 2017-09-30 added veriT component
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
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 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
22 months ago wenzelm 2017-06-24 back to scala-2.12.2, after a41435469559;
23 months ago wenzelm 2017-05-22 back to scala-2.11.8 due to apparent non-termination of HOL-Codegenerator_Test;
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 updated to scala-2.12.2;
23 months ago wenzelm 2017-05-19 updated to jdk-8u131;
23 months ago 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;
2016-10-02 wenzelm 2016-10-02 updated to xz-java-1.5;
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 some icons from Symbola font;
2016-07-27 wenzelm 2016-07-27 updated to jdk-8u102;
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>;