Thu, 31 Dec 2015 12:37:16 +0100 |
wenzelm |
updated isabelle_fonts;
|
file |
diff |
annotate
|
Tue, 29 Dec 2015 21:54:18 +0100 |
wenzelm |
updated isabelle_fonts;
|
file |
diff |
annotate
|
Wed, 23 Dec 2015 21:15:26 +0100 |
wenzelm |
updated polyml;
|
file |
diff |
annotate
|
Mon, 21 Dec 2015 17:20:57 +0100 |
wenzelm |
updated Cygwin (somewhere after 1.7.35-1);
|
file |
diff |
annotate
|
Thu, 10 Dec 2015 21:31:24 +0100 |
wenzelm |
proper checksum for cygwin-20151210.tar.gz (some snapshot after 1.7.35-1);
|
file |
diff |
annotate
|
Sun, 06 Dec 2015 23:17:48 +0100 |
wenzelm |
updated to polyml-5.6-20151206, which presumably improves stability on Windows;
|
file |
diff |
annotate
|
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);
|
file |
diff |
annotate
|
Mon, 23 Nov 2015 17:56:11 +0100 |
wenzelm |
updated to polyml-5.6-20151123;
|
file |
diff |
annotate
|
Sat, 07 Nov 2015 12:53:22 +0100 |
wenzelm |
added @{undefined} with somewhat undefined symbol;
|
file |
diff |
annotate
|
Fri, 06 Nov 2015 19:37:51 +0100 |
wenzelm |
added glyphs 0x204b, 0x2b1a from DejaVuSansMono;
|
file |
diff |
annotate
|
Wed, 04 Nov 2015 22:08:07 +0100 |
wenzelm |
added propertional dashes from DejaVuSans (not Mono): 0x2013, 0x2014, 0x2015;
|
file |
diff |
annotate
|
Mon, 02 Nov 2015 17:04:11 +0100 |
blanchet |
updated CVC4 component to deal with paths with whitespace
|
file |
diff |
annotate
|
Fri, 23 Oct 2015 21:03:16 +0200 |
wenzelm |
updated to jedit-5.3.0 and SideKick 1.8;
|
file |
diff |
annotate
|
Fri, 23 Oct 2015 18:39:14 +0200 |
wenzelm |
updated to jdk-8u66;
|
file |
diff |
annotate
|
Wed, 21 Oct 2015 18:00:12 +0200 |
wenzelm |
Isabelle fonts via external component;
|
file |
diff |
annotate
|
Wed, 16 Sep 2015 21:56:00 +0200 |
wenzelm |
more recent JavaAppLauncher, which supports file associations;
|
file |
diff |
annotate
|
Wed, 16 Sep 2015 16:34:33 +0200 |
wenzelm |
updated to polyml-5.5.3-20150916 (polyml git version cb1b36caa242);
|
file |
diff |
annotate
|
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;
|
file |
diff |
annotate
|
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;
|
file |
diff |
annotate
|
Fri, 21 Aug 2015 16:47:57 +0200 |
wenzelm |
updated to jdk-8u60, with support for x86_64-windows;
|
file |
diff |
annotate
|
Fri, 21 Aug 2015 15:02:42 +0200 |
wenzelm |
updated to recent launch4j 3.8;
|
file |
diff |
annotate
|
Thu, 20 Aug 2015 14:13:00 +0200 |
wenzelm |
updated to polyml-5.5.3-20150820, with native x86-windows support;
|
file |
diff |
annotate
|
Sun, 19 Jul 2015 21:16:39 +0200 |
wenzelm |
updated to jdk-8u51;
|
file |
diff |
annotate
|
Wed, 24 Jun 2015 21:31:29 +0200 |
wenzelm |
updated to scala-2.11.7;
|
file |
diff |
annotate
|
Mon, 18 May 2015 16:59:09 +0200 |
Lars Noschinski |
add Haskabelle-2015 component
|
file |
diff |
annotate
|
Sat, 09 May 2015 10:06:14 +0200 |
blanchet |
new CVC4 component
|
file |
diff |
annotate
|
Wed, 22 Apr 2015 18:43:33 +0200 |
wenzelm |
updated polyml according to fixes-5.5.2 SVN version 2009;
|
file |
diff |
annotate
|
Fri, 17 Apr 2015 20:53:15 +0200 |
wenzelm |
sorted by automatic regeneration;
|
file |
diff |
annotate
|
Fri, 17 Apr 2015 20:19:54 +0200 |
wenzelm |
updated polyml according to fixes-5.5.2 SVN version 2007;
|
file |
diff |
annotate
|
Wed, 15 Apr 2015 20:00:18 +0200 |
wenzelm |
updated to jdk-7u80, the latest and last public release of Java 7;
|
file |
diff |
annotate
|