Admin/components/components.sha1
3 months ago wenzelm 2019-03-23 updated to ssh-java-20190323 (with jsch-0.1.55.jar);
3 months ago wenzelm 2019-03-23 more explicit opam dependencies;
3 months ago wenzelm 2019-03-22 updated to cygwin-20190322 -- package required by ocaml_setup for zarith;
4 months ago wenzelm 2019-03-21 updated to current opam-2.0.3, which is also the version provided by Cygwin 3.0.4;
4 months ago wenzelm 2019-03-20 updated to Cygwin 3.0.4 (approximation for Isabelle2019);
4 months ago wenzelm 2019-03-12 updated to polyml-5.8 (official release);
4 months ago wenzelm 2019-03-09 added glyph for \<marker>;
4 months ago wenzelm 2019-03-06 updated to polyml-5.8-20190306;
4 months ago wenzelm 2019-02-24 updated to jedit_build-20190224 (new patches: favorites, glyphvector);
4 months ago wenzelm 2019-02-20 updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8);
5 months ago wenzelm 2019-02-17 updated to polyml-test-8fda4fd22441;
5 months ago wenzelm 2019-02-10 updated to isabelle_fonts-20190210;
5 months ago wenzelm 2019-02-01 updated to polyml-test-b68438d33c69;
5 months ago wenzelm 2019-01-31 updated to polyml-test-1236652ebd55;
5 months ago wenzelm 2019-01-30 more accurate file position;
5 months ago wenzelm 2019-01-29 updated to jdk-11.0.2+9;
5 months ago wenzelm 2019-01-27 updated to polyml-test-1b2dcf8f5202;
5 months ago wenzelm 2019-01-23 updated to polyml-test-a444f281ccec;
6 months ago wenzelm 2019-01-20 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;
6 months ago wenzelm 2019-01-19 auto-update for some experimental components;
7 months ago wenzelm 2018-12-09 updated to scala-2.12.8;
7 months ago wenzelm 2018-12-08 discontinued somewhat point dmg: plain .tar.gz is smaller and more convenient to install;
7 months ago wenzelm 2018-12-08 clarified sort order (again, see also 81a75d9a9a4e);
7 months ago wenzelm 2018-12-07 updated to stack-1.9.3; proper settings for Windows;
7 months ago wenzelm 2018-12-05 eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala; more robust components and classpath via Other_Isabelle; updated macos_app to include full dmg template; misc tuning and clarification;
7 months ago wenzelm 2018-12-03 updated to jedit_build-20181203 (according to d70767e508d7);
7 months ago wenzelm 2018-11-29 clarified "hidden" terminology; updated component;
7 months ago wenzelm 2018-11-24 use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
8 months ago wenzelm 2018-10-26 proper environment for variable folding;
8 months ago wenzelm 2018-10-25 updated to jedit_build-20181025 according to patches/macos (Java 11), patches/putenv; proper update of jEdit environment -- avoid warnings in Java 11; activate jdk-11+28;
8 months ago wenzelm 2018-10-25 updated to jdk-11+28 from https://adoptopenjdk.net -- with proper font rendering on Linux;
9 months ago wenzelm 2018-10-17 auto update;
9 months ago wenzelm 2018-10-17 isabelle_stack as portable shell function;
9 months ago wenzelm 2018-10-08 isabelle_opam as portable shell function;
9 months ago wenzelm 2018-10-06 updated xstream.jar to 1.4.10 for Java 9/10/11 (see http://x-stream.github.io);
9 months ago wenzelm 2018-10-06 support for jdk-11;
9 months ago wenzelm 2018-10-02 updated windows_app to launch4j 3.12: "fully supports Java 9 and newer";
9 months ago wenzelm 2018-09-30 updated to scala-2.12.7;
11 months ago wenzelm 2018-07-28 updated to Poly/ML fixes-5.7.1 b3d1ff33a4b4;
11 months ago wenzelm 2018-07-25 updated to jdk-8u181;
12 months ago wenzelm 2018-07-22 updated to kodkodi-1.5.2-1: modernized settings and renamed directory (same executables);
12 months ago wenzelm 2018-07-22 updated to polyml-5.7.1-7 (see also afa7c5a239e6);
12 months ago blanchet 2018-07-02 added Vampire component
13 months ago wenzelm 2018-06-20 updated to polyml-5.7.1-6;
13 months ago wenzelm 2018-06-06 updated to sqlite-jdbc-3.23.1;
13 months ago wenzelm 2018-06-04 updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018; record cygwin mirror explicitly;
14 months ago wenzelm 2018-05-20 updated to scala-2.12.6;
14 months ago blanchet 2018-05-17 updated some Sledgehammer components, following Makarius advice
14 months ago wenzelm 2018-05-04 no censorship of view title;
15 months ago wenzelm 2018-04-20 updated to postgresql-42.2.2, with more smooth support for Java 9/10;
15 months ago wenzelm 2018-04-19 updated to jdk-8u172;
15 months ago wenzelm 2018-04-19 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;
15 months ago wenzelm 2018-04-17 updated to xz-java-1.8;
15 months ago wenzelm 2018-04-17 updated windows_app to launch4j 3.11 and 7zsd_extra_171_3901.7z (reconstructed by Chris Lake);
15 months ago wenzelm 2018-04-17 updated to jedit-5.5.0; discontinued jedit_build/contrib/jEdit-patched.tar.gz -- its content is in directory jedit_build/contrib/jedit-5.5.0-patched/jEdit;
15 months ago wenzelm 2018-03-27 updated to scala-2.12.5;
17 months ago wenzelm 2018-02-13 updated polyml component;
17 months ago wenzelm 2018-02-11 updated polyml component -- omitting bad polyml-5.7.1-3;
17 months ago wenzelm 2018-02-10 updated to polyml-5.7.1-2, which includes libgmp for x86-darwin as well;
17 months ago wenzelm 2018-02-09 rebuild of polyml-5.7.1 with libgmp for x86_darwin;