| Wed, 10 Jun 2020 19:59:12 +0200 |
wenzelm |
updated to jedit-5.6pre1 (repository version 25349);
|
file |
diff |
annotate
|
| Thu, 02 Apr 2020 13:04:24 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Mon, 23 Mar 2020 12:29:40 +0100 |
wenzelm |
updated to current cygwin-20200323, after 3.1.4-1 from 19-Feb-2020;
|
file |
diff |
annotate
|
| Mon, 23 Mar 2020 16:11:41 +0100 |
wenzelm |
updated to scala-2.12.11;
|
file |
diff |
annotate
|
| Sun, 22 Mar 2020 22:03:48 +0100 |
wenzelm |
avoid jdk-11.0.6+10: it shows problem "S8217731: Font rendering and glyph spacing changed from jdk-8 to jdk-11" https://bugs.openjdk.java.net/browse/JDK-8217731 even though the changelog claims to have resolved this;
|
file |
diff |
annotate
|
| Wed, 04 Mar 2020 15:38:02 +0100 |
wenzelm |
rebuild x86_64-linux on Ubuntu 14.04.6 LTS;
|
file |
diff |
annotate
|
| Fri, 28 Feb 2020 21:34:04 +0100 |
wenzelm |
updated to polyml-5.8.1-20200228 test version (Poly/ML 6025c250b4f1);
|
file |
diff |
annotate
|
| Thu, 16 Jan 2020 17:04:42 +0100 |
wenzelm |
proper executable file;
|
file |
diff |
annotate
|
| Thu, 16 Jan 2020 16:15:25 +0100 |
wenzelm |
updated to sumatra_pdf-3.1.2-1: x86_64-windows;
|
file |
diff |
annotate
|
| Thu, 16 Jan 2020 15:34:55 +0100 |
wenzelm |
updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4;
|
file |
diff |
annotate
|
| Thu, 16 Jan 2020 15:10:16 +0100 |
wenzelm |
updated to opam-2.0.6;
|
file |
diff |
annotate
|
| Thu, 16 Jan 2020 14:07:28 +0100 |
wenzelm |
updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;
|
file |
diff |
annotate
|
| Wed, 15 Jan 2020 20:11:28 +0100 |
wenzelm |
updated to jdk-11.0.6+10;
|
file |
diff |
annotate
|
| Sun, 12 Jan 2020 22:54:42 +0100 |
wenzelm |
updated to sqlite-jdbc-3.30.1;
|
file |
diff |
annotate
|
| Sun, 12 Jan 2020 22:21:40 +0100 |
wenzelm |
updated to postgresql-42.2.9;
|
file |
diff |
annotate
|
| Fri, 10 Jan 2020 16:37:47 +0100 |
wenzelm |
clarified script name;
|
file |
diff |
annotate
|
| Mon, 23 Dec 2019 22:08:20 +0100 |
wenzelm |
repackage as csdp-6.1-1, with proper platform names;
|
file |
diff |
annotate
|
| Mon, 23 Dec 2019 19:07:25 +0100 |
wenzelm |
updated csdp-6.1: Linux and Windows executables are as before, but macOS has been rebuilt for x86_64 (to accommodate Catalina);
|
file |
diff |
annotate
|
| Mon, 23 Dec 2019 15:24:14 +0100 |
wenzelm |
updated linux_app-20191223: x86_64-linux;
|
file |
diff |
annotate
|
| Sun, 24 Nov 2019 22:54:42 +0100 |
wenzelm |
updated to polyml-5.8.1-20191113 test version (Poly/ML 055f20cdc326);
|
file |
diff |
annotate
|
| Thu, 14 Nov 2019 11:49:54 +0100 |
wenzelm |
updated to polyml-5.8.1-20191114: rebuilt on Windows with current msys2/mingw64;
|
file |
diff |
annotate
|
| Wed, 13 Nov 2019 20:21:05 +0100 |
wenzelm |
updated to polyml-5.8.1-20191113 test version (Poly/ML 67e87c763417);
|
file |
diff |
annotate
|
| Fri, 01 Nov 2019 19:40:55 +0100 |
wenzelm |
updated to polyml-5.8.1-20191101 test version;
|
file |
diff |
annotate
|
| Wed, 16 Oct 2019 12:42:09 +0200 |
wenzelm |
updated to jdk-11.0.4+11;
|
file |
diff |
annotate
|
| Wed, 16 Oct 2019 12:23:09 +0200 |
wenzelm |
updated to scala-2.12.10;
|
file |
diff |
annotate
|
| Wed, 17 Jul 2019 21:56:32 +0200 |
wenzelm |
updated to jedit_build-20190717: support more brackets;
|
file |
diff |
annotate
|
| Wed, 17 Jul 2019 21:32:03 +0200 |
wenzelm |
updated to isabelle_fonts-20190717;
|
file |
diff |
annotate
|
| 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
|
| Fri, 24 May 2019 20:08:52 +0200 |
wenzelm |
updated to cygwin-20190524;
|
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
|
| 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
|
| Fri, 22 Mar 2019 19:14:39 +0100 |
wenzelm |
updated to cygwin-20190322 -- package required by ocaml_setup for zarith;
|
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
|
| Wed, 20 Mar 2019 22:41:50 +0100 |
wenzelm |
updated to Cygwin 3.0.4 (approximation for Isabelle2019);
|
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
|
| 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
|
| 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
|
| Sat, 19 Jan 2019 19:16:58 +0100 |
wenzelm |
auto-update for some experimental components;
|
file |
diff |
annotate
|
| Sun, 09 Dec 2018 20:15:47 +0100 |
wenzelm |
updated to scala-2.12.8;
|
file |
diff |
annotate
|
| Sat, 08 Dec 2018 23:53:43 +0100 |
wenzelm |
discontinued somewhat point dmg: plain .tar.gz is smaller and more convenient to install;
|
file |
diff |
annotate
|
| Sat, 08 Dec 2018 21:21:14 +0100 |
wenzelm |
clarified sort order (again, see also 81a75d9a9a4e);
|
file |
diff |
annotate
|
| Fri, 07 Dec 2018 14:58:32 +0100 |
wenzelm |
updated to stack-1.9.3;
|
file |
diff |
annotate
|