| Mon, 27 May 2019 15:08:51 +0200 |
wenzelm |
more direct invocation of Windows exe: avoid extra bash, cygpath, exec;
|
file |
diff |
annotate
|
| Mon, 27 May 2019 12:05:16 +0200 |
wenzelm |
updated to bash_process-1.2.3: rebuild on current reference PLATFORMS;
|
file |
diff |
annotate
|
| Wed, 08 May 2019 18:53:27 +0200 |
wenzelm |
eliminated old com.apple.eawt.FullScreenUtilities.setWindowCanFullScreen: appears to be unnecessary on newer versions of Mac OS X;
|
file |
diff |
annotate
|
| Fri, 03 May 2019 11:50:32 +0200 |
wenzelm |
updated to jdk-11.0.3+7;
|
file |
diff |
annotate
|
| Tue, 09 Apr 2019 14:17:29 +0200 |
wenzelm |
updated to bib2xhtml-20190409: current repository clone;
|
file |
diff |
annotate
|
| Tue, 09 Apr 2019 11:24:47 +0200 |
wenzelm |
proper treatment of isabelle_fonts_hinted in etc/preferences (i.e. a change of the default option);
|
file |
diff |
annotate
|
| Tue, 09 Apr 2019 10:56:25 +0200 |
wenzelm |
back to scala-2.12.7 (due to reports about problems with new Mac hardware / OS installations by Jasmin Blanchette and Dmitriy Traytel);
|
file |
diff |
annotate
|
| Sat, 06 Apr 2019 22:05:25 +0200 |
wenzelm |
support both hinted and unhinted fonts;
|
file |
diff |
annotate
|
| Thu, 04 Apr 2019 14:45:34 +0200 |
wenzelm |
updated to sqlite-jdbc-3.27.2.1;
|
file |
diff |
annotate
|
| Sat, 23 Mar 2019 20:27:56 +0100 |
wenzelm |
updated to ssh-java-20190323 (with jsch-0.1.55.jar);
|
file |
diff |
annotate
|
| Sat, 23 Mar 2019 15:17:32 +0100 |
wenzelm |
more explicit opam dependencies;
|
file |
diff |
annotate
|
| Thu, 21 Mar 2019 12:38:06 +0100 |
wenzelm |
updated to current opam-2.0.3, which is also the version provided by Cygwin 3.0.4;
|
file |
diff |
annotate
|
| Tue, 12 Mar 2019 15:34:33 +0100 |
wenzelm |
updated to polyml-5.8 (official release);
|
file |
diff |
annotate
|
| Sat, 09 Mar 2019 13:35:49 +0100 |
wenzelm |
added glyph for \<marker>;
|
file |
diff |
annotate
|
| Wed, 06 Mar 2019 19:29:46 +0100 |
wenzelm |
updated to polyml-5.8-20190306;
|
file |
diff |
annotate
|
| Sun, 24 Feb 2019 13:00:43 +0100 |
wenzelm |
updated to jedit_build-20190224 (new patches: favorites, glyphvector);
|
file |
diff |
annotate
|
| Wed, 20 Feb 2019 12:10:40 +0100 |
wenzelm |
updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8);
|
file |
diff |
annotate
|
| Sun, 17 Feb 2019 19:31:04 +0100 |
wenzelm |
updated to polyml-test-8fda4fd22441;
|
file |
diff |
annotate
|
| 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
|