| Sun, 10 Feb 2019 18:16:11 +0100 |
wenzelm |
updated to isabelle_fonts-20190210;
|
file |
diff |
annotate
|
| Mon, 04 Feb 2019 12:07:55 +0100 |
wenzelm |
back to stable polyml-5.7.1-8 for now;
|
file |
diff |
annotate
|
| Sat, 02 Feb 2019 14:51:11 +0100 |
wenzelm |
back to polyml-test-1b2dcf8f5202 -- more stable;
|
file |
diff |
annotate
|
| Fri, 01 Feb 2019 15:45:59 +0100 |
wenzelm |
updated to polyml-test-b68438d33c69;
|
file |
diff |
annotate
|
| Thu, 31 Jan 2019 21:21:44 +0100 |
wenzelm |
updated to polyml-test-1236652ebd55;
|
file |
diff |
annotate
|
| Wed, 30 Jan 2019 22:39:58 +0100 |
wenzelm |
more accurate file position;
|
file |
diff |
annotate
|
| Tue, 29 Jan 2019 22:47:45 +0100 |
wenzelm |
updated to jdk-11.0.2+9;
|
file |
diff |
annotate
|
| Sun, 27 Jan 2019 17:30:09 +0100 |
wenzelm |
updated to polyml-test-1b2dcf8f5202;
|
file |
diff |
annotate
|
| Wed, 23 Jan 2019 23:07:21 +0100 |
wenzelm |
updated to polyml-test-a444f281ccec;
|
file |
diff |
annotate
|
| Tue, 22 Jan 2019 12:28:41 +0100 |
wenzelm |
use polyml-test-0a6ebca445fc by default: already quite stable;
|
file |
diff |
annotate
|
| Sun, 20 Jan 2019 21:26:15 +0100 |
wenzelm |
avoid crash of jEdit.closeBuffer() via TaskManager.instance.waitForIoTasks() due to race condition of save() vs. automatic load() of already open buffer, e.g. relevant for save-as on "isabelle-export:" artifacts;
|
file |
diff |
annotate
|
| Sun, 09 Dec 2018 20:15:47 +0100 |
wenzelm |
updated to scala-2.12.8;
|
file |
diff |
annotate
|
| Fri, 07 Dec 2018 14:58:32 +0100 |
wenzelm |
updated to stack-1.9.3;
|
file |
diff |
annotate
|
| Mon, 03 Dec 2018 22:21:35 +0100 |
wenzelm |
updated to jedit_build-20181203 (according to d70767e508d7);
|
file |
diff |
annotate
|
| Thu, 29 Nov 2018 15:17:51 +0100 |
wenzelm |
clarified "hidden" terminology;
|
file |
diff |
annotate
|
| Sat, 24 Nov 2018 18:56:44 +0100 |
wenzelm |
use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
|
file |
diff |
annotate
|
| Fri, 26 Oct 2018 12:43:39 +0200 |
wenzelm |
proper environment for variable folding;
|
file |
diff |
annotate
|
| Thu, 25 Oct 2018 22:42:17 +0200 |
wenzelm |
updated to jedit_build-20181025 according to patches/macos (Java 11), patches/putenv;
|
file |
diff |
annotate
|
| Wed, 17 Oct 2018 20:06:19 +0200 |
wenzelm |
isabelle_stack as portable shell function;
|
file |
diff |
annotate
|
| Wed, 17 Oct 2018 16:53:45 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 13 Oct 2018 11:13:12 +0200 |
wenzelm |
back to jdk-8u181: avoid degraded font-rendering of jdk-11 on Linux;
|
file |
diff |
annotate
|
| Mon, 08 Oct 2018 12:52:28 +0200 |
wenzelm |
isabelle_opam as portable shell function;
|
file |
diff |
annotate
|
| Sat, 06 Oct 2018 20:49:40 +0200 |
wenzelm |
activate jdk-11
|
file |
diff |
annotate
|
| Mon, 01 Oct 2018 12:19:55 +0200 |
wenzelm |
updated to postgresql-42.2.5;
|
file |
diff |
annotate
|
| Sun, 30 Sep 2018 22:47:38 +0200 |
wenzelm |
updated to scala-2.12.7;
|
file |
diff |
annotate
|
| Thu, 02 Aug 2018 16:02:56 +0200 |
wenzelm |
suppress verit-2016post -- not ready for release;
|
file |
diff |
annotate
|
| Sat, 28 Jul 2018 17:25:40 +0200 |
wenzelm |
updated to Poly/ML fixes-5.7.1 b3d1ff33a4b4;
|
file |
diff |
annotate
|
| Wed, 25 Jul 2018 22:33:04 +0200 |
wenzelm |
updated to jdk-8u181;
|
file |
diff |
annotate
|
| Sun, 22 Jul 2018 19:28:18 +0200 |
wenzelm |
updated to kodkodi-1.5.2-1: modernized settings and renamed directory (same executables);
|
file |
diff |
annotate
|
| Sun, 22 Jul 2018 14:01:52 +0200 |
wenzelm |
updated to polyml-5.7.1-7 (see also afa7c5a239e6);
|
file |
diff |
annotate
|
| Mon, 02 Jul 2018 10:03:11 +0200 |
blanchet |
added Vampire component
|
file |
diff |
annotate
|
| Wed, 20 Jun 2018 22:41:52 +0200 |
wenzelm |
updated to polyml-5.7.1-6;
|
file |
diff |
annotate
|
| Wed, 06 Jun 2018 11:27:27 +0200 |
wenzelm |
updated to sqlite-jdbc-3.23.1;
|
file |
diff |
annotate
|
| Sun, 20 May 2018 12:05:44 +0200 |
wenzelm |
updated to scala-2.12.6;
|
file |
diff |
annotate
|
| Thu, 17 May 2018 19:16:41 +0200 |
blanchet |
updated some Sledgehammer components, following Makarius advice
|
file |
diff |
annotate
|
| Fri, 04 May 2018 21:46:58 +0200 |
wenzelm |
no censorship of view title;
|
file |
diff |
annotate
|
| Fri, 20 Apr 2018 15:40:21 +0200 |
wenzelm |
updated to postgresql-42.2.2, with more smooth support for Java 9/10;
|
file |
diff |
annotate
|
| Thu, 19 Apr 2018 21:54:46 +0200 |
wenzelm |
updated to jdk-8u172;
|
file |
diff |
annotate
|
| Thu, 19 Apr 2018 21:14:52 +0200 |
wenzelm |
updated to jfreechart-1.5.0, but retain bundled iText-2.1.5.jar from jfreechart-1.0.14 to avoid iText-5/7 license complexity;
|
file |
diff |
annotate
|
| Tue, 17 Apr 2018 16:18:19 +0200 |
wenzelm |
updated to xz-java-1.8;
|
file |
diff |
annotate
|
| Tue, 17 Apr 2018 14:48:55 +0200 |
wenzelm |
updated to jedit-5.5.0;
|
file |
diff |
annotate
|
| Tue, 27 Mar 2018 13:59:01 +0200 |
wenzelm |
updated to scala-2.12.5;
|
file |
diff |
annotate
|
| Tue, 13 Feb 2018 14:24:50 +0100 |
wenzelm |
updated polyml component;
|
file |
diff |
annotate
|
| Sun, 11 Feb 2018 15:13:40 +0100 |
wenzelm |
updated polyml component -- omitting bad polyml-5.7.1-3;
|
file |
diff |
annotate
|
| Sat, 10 Feb 2018 12:28:36 +0100 |
wenzelm |
updated to polyml-5.7.1-2, which includes libgmp for x86-darwin as well;
|
file |
diff |
annotate
|
| Fri, 09 Feb 2018 17:42:15 +0100 |
wenzelm |
rebuild of polyml-5.7.1 with libgmp for x86_darwin;
|
file |
diff |
annotate
|
| Tue, 23 Jan 2018 17:04:52 +0100 |
wenzelm |
updated to jdk-8u162;
|
file |
diff |
annotate
|
| Sat, 13 Jan 2018 21:41:36 +0100 |
wenzelm |
added glyph from "Deja Vu Sans Mono" font;
|
file |
diff |
annotate
|
| Sat, 30 Dec 2017 21:46:19 +0100 |
wenzelm |
more robust hyphen (see also "Soft hyphen (SHY) – a hard problem?" http://jkorpela.fi/shy.html);
|
file |
diff |
annotate
|
| Fri, 22 Dec 2017 15:49:44 +0100 |
wenzelm |
HTML rendering of \<^control> as in Isabelle/jEdit;
|
file |
diff |
annotate
|
| Thu, 21 Dec 2017 16:29:03 +0100 |
wenzelm |
bibtex HTML output via external tool;
|
file |
diff |
annotate
|
| Mon, 27 Nov 2017 15:10:50 +0100 |
wenzelm |
updated to official release of polyml-5.7.1;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2017 10:22:10 +0100 |
wenzelm |
more recent polyml-test version;
|
file |
diff |
annotate
|
| Sun, 05 Nov 2017 14:35:43 +0100 |
wenzelm |
updated to scala-2.12.4;
|
file |
diff |
annotate
|
| Sun, 05 Nov 2017 12:13:27 +0100 |
wenzelm |
testing NewTestRegisterSave;
|
file |
diff |
annotate
|
| Sun, 29 Oct 2017 19:39:03 +0100 |
wenzelm |
more recent polyml-test version;
|
file |
diff |
annotate
|
| Thu, 26 Oct 2017 13:44:41 +0200 |
wenzelm |
use Poly/ML 5.7.1 test version as default;
|
file |
diff |
annotate
|
| Mon, 23 Oct 2017 19:30:39 +0200 |
wenzelm |
updated to jdk-8u152, which is for x86_64 only;
|
file |
diff |
annotate
|
| Sat, 07 Oct 2017 14:56:30 +0200 |
wenzelm |
prefer native platform x86-windows, to make this work on x86_64-cygwin;
|
file |
diff |
annotate
|
| Sat, 30 Sep 2017 22:55:16 +0200 |
blanchet |
added veriT component
|
file |
diff |
annotate
|