Admin/components/main
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;
2015-08-21 wenzelm 2015-08-21 updated to jdk-8u60, with support for x86_64-windows;
2015-08-20 wenzelm 2015-08-20 updated to polyml-5.5.3-20150820, with native x86-windows support;
2015-07-19 wenzelm 2015-07-19 updated to jdk-8u51;
2015-06-24 wenzelm 2015-06-24 updated to scala-2.11.7;
2015-05-18 Lars Noschinski 2015-05-18 add Haskabelle-2015 component
2015-05-09 blanchet 2015-05-09 new CVC4 component
2015-04-22 wenzelm 2015-04-22 updated polyml according to fixes-5.5.2 SVN version 2009;
2015-04-17 wenzelm 2015-04-17 updated polyml according to fixes-5.5.2 SVN version 2007;
2015-04-15 wenzelm 2015-04-15 updated to jdk-7u80, the latest and last public release of Java 7;
2015-04-08 blanchet 2015-04-08 updated to new Z3
2015-03-06 wenzelm 2015-03-06 updated to scala-2.11.6;
2015-02-28 wenzelm 2015-02-28 updated to jedit-5.2.0; updated CommonControls.jar, kappalayout.jar, MacOSX.jar, SideKick.jar;
2015-02-24 blanchet 2015-02-24 updated CVC4 component to include libgmp on Mac OS X
2015-02-11 blanchet 2015-02-11 added CVC4 component (and took out CVC3 from main components)
2015-01-21 wenzelm 2015-01-21 updated to jdk-7u76, which appears to be more stable than jdk-8u31 (e.g. crashes jEdit/Console plugin of Mac OS X);
2015-01-21 wenzelm 2015-01-21 updated jdk-8u31;
2015-01-15 wenzelm 2015-01-15 updated to scala-2.11.5;
2014-11-04 wenzelm 2014-11-04 proper button margins for Nimbus L&F; properties are sorted when saved;
2014-11-03 wenzelm 2014-11-03 updated to scala-2.11.4;
2014-10-27 wenzelm 2014-10-27 updated to jdk-7u72;
2014-10-26 wenzelm 2014-10-26 support negative extraLineSpacing; updated ErrorList.jar 2.3;
2014-10-18 wenzelm 2014-10-18 always apply precedingFoldLevels, avoid unclear shortcuts; updated Console.jar 5.1.4;