Admin/components/main
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-06-24 wenzelm 2017-06-24 back to scala-2.12.2, after a41435469559;
2017-05-22 wenzelm 2017-05-22 back to scala-2.11.8 due to apparent non-termination of HOL-Codegenerator_Test;
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 updated to scala-2.12.2;
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-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>;
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-06 wenzelm 2015-12-06 updated to polyml-5.6-20151206, which presumably improves stability on Windows;
2015-11-24 wenzelm 2015-11-24 paint gutter text on base line of main text area, to accomodate extra line spacing without special tricks (see also jEdit bug #3717 and its fix in SVN 23977, which does not quite work: odd jumping positions on vertical cursor movement); avoid hardwired colors (see 1d9c121cbe4d); updated to Highlight 2.2;
2015-11-23 wenzelm 2015-11-23 updated to polyml-5.6-20151123;
2015-11-07 wenzelm 2015-11-07 added @{undefined} with somewhat undefined symbol;
2015-11-06 wenzelm 2015-11-06 added glyphs 0x204b, 0x2b1a from DejaVuSansMono;
2015-11-04 wenzelm 2015-11-04 added propertional dashes from DejaVuSans (not Mono): 0x2013, 0x2014, 0x2015;
2015-11-02 blanchet 2015-11-02 updated CVC4 component to deal with paths with whitespace
2015-10-23 wenzelm 2015-10-23 updated to jedit-5.3.0 and SideKick 1.8;
2015-10-23 wenzelm 2015-10-23 updated to jdk-8u66;
2015-10-21 wenzelm 2015-10-21 Isabelle fonts via external component;
2015-09-16 wenzelm 2015-09-16 updated to polyml-5.5.3-20150916 (polyml git version cb1b36caa242);
2015-09-11 wenzelm 2015-09-11 convenient change of ML system architecture via system option ML_preference_64, which is grepped off-line from stored preferences during bootstrap;
2015-09-08 wenzelm 2015-09-08 updated to polyml-5.5.3-20150908, with support for x86_64-windows and Unicode file-names;