Admin/components/components.sha1
Sat, 27 Feb 2016 21:04:13 +0100 wenzelm symbol interpretation for \<circle>;
Sat, 13 Feb 2016 23:59:35 +0100 wenzelm updated bash_process;
Sat, 13 Feb 2016 20:01:48 +0100 wenzelm clarified bash process;
Thu, 11 Feb 2016 16:29:38 +0100 wenzelm 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;
Sun, 31 Jan 2016 13:25:21 +0100 wenzelm updated to official polyml-5.6;
Wed, 20 Jan 2016 14:43:21 +0100 wenzelm updated jdk;
Mon, 18 Jan 2016 16:03:58 +0100 wenzelm updated polyml;
Sat, 02 Jan 2016 20:28:20 +0100 wenzelm tuned spacing of \<partial>;
Fri, 01 Jan 2016 11:07:29 +0100 wenzelm glyphs for \<bind>, \<then>;
Thu, 31 Dec 2015 13:12:47 +0100 wenzelm updated sumatra_pdf;
Thu, 31 Dec 2015 12:37:16 +0100 wenzelm updated isabelle_fonts;
Tue, 29 Dec 2015 21:54:18 +0100 wenzelm updated isabelle_fonts;
Wed, 23 Dec 2015 21:15:26 +0100 wenzelm updated polyml;
Mon, 21 Dec 2015 17:20:57 +0100 wenzelm updated Cygwin (somewhere after 1.7.35-1);
Thu, 10 Dec 2015 21:31:24 +0100 wenzelm proper checksum for cygwin-20151210.tar.gz (some snapshot after 1.7.35-1);
Sun, 06 Dec 2015 23:17:48 +0100 wenzelm updated to polyml-5.6-20151206, which presumably improves stability on Windows;
Tue, 24 Nov 2015 22:50:03 +0100 wenzelm 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);
Mon, 23 Nov 2015 17:56:11 +0100 wenzelm updated to polyml-5.6-20151123;
Sat, 07 Nov 2015 12:53:22 +0100 wenzelm added @{undefined} with somewhat undefined symbol;
Fri, 06 Nov 2015 19:37:51 +0100 wenzelm added glyphs 0x204b, 0x2b1a from DejaVuSansMono;
Wed, 04 Nov 2015 22:08:07 +0100 wenzelm added propertional dashes from DejaVuSans (not Mono): 0x2013, 0x2014, 0x2015;
Mon, 02 Nov 2015 17:04:11 +0100 blanchet updated CVC4 component to deal with paths with whitespace
Fri, 23 Oct 2015 21:03:16 +0200 wenzelm updated to jedit-5.3.0 and SideKick 1.8;
Fri, 23 Oct 2015 18:39:14 +0200 wenzelm updated to jdk-8u66;
Wed, 21 Oct 2015 18:00:12 +0200 wenzelm Isabelle fonts via external component;
Wed, 16 Sep 2015 21:56:00 +0200 wenzelm more recent JavaAppLauncher, which supports file associations;
Wed, 16 Sep 2015 16:34:33 +0200 wenzelm updated to polyml-5.5.3-20150916 (polyml git version cb1b36caa242);
Fri, 11 Sep 2015 17:57:34 +0200 wenzelm convenient change of ML system architecture via system option ML_preference_64, which is grepped off-line from stored preferences during bootstrap;
Tue, 08 Sep 2015 20:06:17 +0200 wenzelm updated to polyml-5.5.3-20150908, with support for x86_64-windows and Unicode file-names;
Fri, 21 Aug 2015 16:47:57 +0200 wenzelm updated to jdk-8u60, with support for x86_64-windows;
Fri, 21 Aug 2015 15:02:42 +0200 wenzelm updated to recent launch4j 3.8;
Thu, 20 Aug 2015 14:13:00 +0200 wenzelm updated to polyml-5.5.3-20150820, with native x86-windows support;
Sun, 19 Jul 2015 21:16:39 +0200 wenzelm updated to jdk-8u51;
Wed, 24 Jun 2015 21:31:29 +0200 wenzelm updated to scala-2.11.7;
Mon, 18 May 2015 16:59:09 +0200 Lars Noschinski add Haskabelle-2015 component
Sat, 09 May 2015 10:06:14 +0200 blanchet new CVC4 component
Wed, 22 Apr 2015 18:43:33 +0200 wenzelm updated polyml according to fixes-5.5.2 SVN version 2009;
Fri, 17 Apr 2015 20:53:15 +0200 wenzelm sorted by automatic regeneration;
Fri, 17 Apr 2015 20:19:54 +0200 wenzelm updated polyml according to fixes-5.5.2 SVN version 2007;
Wed, 15 Apr 2015 20:00:18 +0200 wenzelm updated to jdk-7u80, the latest and last public release of Java 7;
Fri, 10 Apr 2015 22:53:30 +0200 wenzelm updated Cygwin near 1.7.35-1;
Wed, 08 Apr 2015 18:43:43 +0200 blanchet updated to new Z3
Thu, 19 Mar 2015 12:36:55 +0100 wenzelm updated to sumatra_pdf-3.0;
Fri, 06 Mar 2015 16:09:51 +0100 wenzelm updated to scala-2.11.6;
Sat, 28 Feb 2015 21:51:34 +0100 wenzelm updated to jedit-5.2.0;
Tue, 24 Feb 2015 08:48:09 +0100 blanchet updated CVC4 component to include libgmp on Mac OS X
Wed, 11 Feb 2015 14:48:07 +0100 blanchet added CVC4 component (and took out CVC3 from main components)
Wed, 21 Jan 2015 16:07:37 +0100 wenzelm updated to jdk-7u76, which appears to be more stable than jdk-8u31 (e.g. crashes jEdit/Console plugin of Mac OS X);
Wed, 21 Jan 2015 14:23:38 +0100 wenzelm updated jdk-8u31;
Thu, 15 Jan 2015 16:26:23 +0100 wenzelm updated to scala-2.11.5;
Tue, 04 Nov 2014 18:19:38 +0100 wenzelm proper button margins for Nimbus L&F;
Mon, 03 Nov 2014 09:25:23 +0100 wenzelm updated to scala-2.11.4;
Mon, 27 Oct 2014 20:31:51 +0100 wenzelm updated to jdk-7u72;
Sun, 26 Oct 2014 15:46:02 +0100 wenzelm support negative extraLineSpacing;
Fri, 24 Oct 2014 11:30:39 +0200 wenzelm discontinued python from standard system environment;
Sat, 18 Oct 2014 22:02:10 +0200 wenzelm always apply precedingFoldLevels, avoid unclear shortcuts;
Mon, 22 Sep 2014 17:07:18 +0200 wenzelm added csdp-6.x for proof method (sos csdp);
Wed, 20 Aug 2014 20:50:28 +0200 wenzelm added jdk-8u20 (inactive);
Mon, 18 Aug 2014 12:15:11 +0200 wenzelm updated to jdk-7u67;
Wed, 13 Aug 2014 15:45:41 +0200 wenzelm updated to cygwin-20140813 -- some version after 1.7.31-3;
less more (0) -100 -60 tip