Admin/components/components.sha1
Mon, 27 May 2019 15:08:51 +0200 wenzelm more direct invocation of Windows exe: avoid extra bash, cygpath, exec;
Mon, 27 May 2019 12:05:16 +0200 wenzelm updated to bash_process-1.2.3: rebuild on current reference PLATFORMS;
Fri, 24 May 2019 20:08:52 +0200 wenzelm updated to cygwin-20190524;
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;
Fri, 03 May 2019 11:50:32 +0200 wenzelm updated to jdk-11.0.3+7;
Tue, 09 Apr 2019 14:17:29 +0200 wenzelm updated to bib2xhtml-20190409: current repository clone;
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);
Sat, 06 Apr 2019 22:05:25 +0200 wenzelm support both hinted and unhinted fonts;
Thu, 04 Apr 2019 14:45:34 +0200 wenzelm updated to sqlite-jdbc-3.27.2.1;
Sat, 23 Mar 2019 20:27:56 +0100 wenzelm updated to ssh-java-20190323 (with jsch-0.1.55.jar);
Sat, 23 Mar 2019 15:17:32 +0100 wenzelm more explicit opam dependencies;
Fri, 22 Mar 2019 19:14:39 +0100 wenzelm updated to cygwin-20190322 -- package required by ocaml_setup for zarith;
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;
Wed, 20 Mar 2019 22:41:50 +0100 wenzelm updated to Cygwin 3.0.4 (approximation for Isabelle2019);
Tue, 12 Mar 2019 15:34:33 +0100 wenzelm updated to polyml-5.8 (official release);
Sat, 09 Mar 2019 13:35:49 +0100 wenzelm added glyph for \<marker>;
Wed, 06 Mar 2019 19:29:46 +0100 wenzelm updated to polyml-5.8-20190306;
Sun, 24 Feb 2019 13:00:43 +0100 wenzelm updated to jedit_build-20190224 (new patches: favorites, glyphvector);
Wed, 20 Feb 2019 12:10:40 +0100 wenzelm updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8);
Sun, 17 Feb 2019 19:31:04 +0100 wenzelm updated to polyml-test-8fda4fd22441;
Sun, 10 Feb 2019 18:16:11 +0100 wenzelm updated to isabelle_fonts-20190210;
Fri, 01 Feb 2019 15:45:59 +0100 wenzelm updated to polyml-test-b68438d33c69;
Thu, 31 Jan 2019 21:21:44 +0100 wenzelm updated to polyml-test-1236652ebd55;
Wed, 30 Jan 2019 22:39:58 +0100 wenzelm more accurate file position;
Tue, 29 Jan 2019 22:47:45 +0100 wenzelm updated to jdk-11.0.2+9;
Sun, 27 Jan 2019 17:30:09 +0100 wenzelm updated to polyml-test-1b2dcf8f5202;
Wed, 23 Jan 2019 23:07:21 +0100 wenzelm updated to polyml-test-a444f281ccec;
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;
Sat, 19 Jan 2019 19:16:58 +0100 wenzelm auto-update for some experimental components;
Sun, 09 Dec 2018 20:15:47 +0100 wenzelm updated to scala-2.12.8;
Sat, 08 Dec 2018 23:53:43 +0100 wenzelm discontinued somewhat point dmg: plain .tar.gz is smaller and more convenient to install;
Sat, 08 Dec 2018 21:21:14 +0100 wenzelm clarified sort order (again, see also 81a75d9a9a4e);
Fri, 07 Dec 2018 14:58:32 +0100 wenzelm updated to stack-1.9.3;
Wed, 05 Dec 2018 19:42:40 +0100 wenzelm eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala;
Mon, 03 Dec 2018 22:21:35 +0100 wenzelm updated to jedit_build-20181203 (according to d70767e508d7);
Thu, 29 Nov 2018 15:17:51 +0100 wenzelm clarified "hidden" terminology;
Sat, 24 Nov 2018 18:56:44 +0100 wenzelm use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
Fri, 26 Oct 2018 12:43:39 +0200 wenzelm proper environment for variable folding;
Thu, 25 Oct 2018 22:42:17 +0200 wenzelm updated to jedit_build-20181025 according to patches/macos (Java 11), patches/putenv;
Thu, 25 Oct 2018 17:08:04 +0200 wenzelm updated to jdk-11+28 from https://adoptopenjdk.net -- with proper font rendering on Linux;
Wed, 17 Oct 2018 20:25:51 +0200 wenzelm auto update;
Wed, 17 Oct 2018 20:06:19 +0200 wenzelm isabelle_stack as portable shell function;
Mon, 08 Oct 2018 12:52:28 +0200 wenzelm isabelle_opam as portable shell function;
Sat, 06 Oct 2018 21:20:48 +0200 wenzelm updated xstream.jar to 1.4.10 for Java 9/10/11 (see http://x-stream.github.io);
Sat, 06 Oct 2018 17:37:09 +0200 wenzelm support for jdk-11;
Tue, 02 Oct 2018 21:37:26 +0200 wenzelm updated windows_app to launch4j 3.12: "fully supports Java 9 and newer";
Sun, 30 Sep 2018 22:47:38 +0200 wenzelm updated to scala-2.12.7;
Sat, 28 Jul 2018 17:25:40 +0200 wenzelm updated to Poly/ML fixes-5.7.1 b3d1ff33a4b4;
Wed, 25 Jul 2018 22:33:04 +0200 wenzelm updated to jdk-8u181;
Sun, 22 Jul 2018 19:28:18 +0200 wenzelm updated to kodkodi-1.5.2-1: modernized settings and renamed directory (same executables);
Sun, 22 Jul 2018 14:01:52 +0200 wenzelm updated to polyml-5.7.1-7 (see also afa7c5a239e6);
Mon, 02 Jul 2018 10:03:11 +0200 blanchet added Vampire component
Wed, 20 Jun 2018 22:41:52 +0200 wenzelm updated to polyml-5.7.1-6;
Wed, 06 Jun 2018 11:27:27 +0200 wenzelm updated to sqlite-jdbc-3.23.1;
Mon, 04 Jun 2018 21:57:38 +0200 wenzelm updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018;
Sun, 20 May 2018 12:05:44 +0200 wenzelm updated to scala-2.12.6;
Thu, 17 May 2018 19:16:41 +0200 blanchet updated some Sledgehammer components, following Makarius advice
Fri, 04 May 2018 21:46:58 +0200 wenzelm no censorship of view title;
Fri, 20 Apr 2018 15:40:21 +0200 wenzelm updated to postgresql-42.2.2, with more smooth support for Java 9/10;
Thu, 19 Apr 2018 21:54:46 +0200 wenzelm updated to jdk-8u172;
less more (0) -100 -60 tip