Admin/components/components.sha1
2 months ago ago added glyph for \<marker>;
2 months ago ago updated to polyml-5.8-20190306;
2 months ago ago updated to jedit_build-20190224 (new patches: favorites, glyphvector);
3 months ago ago updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8);
3 months ago ago updated to polyml-test-8fda4fd22441;
3 months ago ago updated to isabelle_fonts-20190210;
3 months ago ago updated to polyml-test-b68438d33c69;
3 months ago ago updated to polyml-test-1236652ebd55;
3 months ago ago more accurate file position;
3 months ago ago updated to jdk-11.0.2+9;
3 months ago ago updated to polyml-test-1b2dcf8f5202;
4 months ago ago updated to polyml-test-a444f281ccec;
4 months ago ago 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;
4 months ago ago auto-update for some experimental components;
5 months ago ago updated to scala-2.12.8;
5 months ago ago discontinued somewhat point dmg: plain .tar.gz is smaller and more convenient to install;
5 months ago ago clarified sort order (again, see also 81a75d9a9a4e);
5 months ago ago updated to stack-1.9.3;
5 months ago ago eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala;
5 months ago ago updated to jedit_build-20181203 (according to d70767e508d7);
5 months ago ago clarified "hidden" terminology;
6 months ago ago use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
7 months ago ago proper environment for variable folding;
7 months ago ago updated to jedit_build-20181025 according to patches/macos (Java 11), patches/putenv;
7 months ago ago updated to jdk-11+28 from https://adoptopenjdk.net -- with proper font rendering on Linux;
7 months ago ago auto update;
7 months ago ago isabelle_stack as portable shell function;
7 months ago ago isabelle_opam as portable shell function;
7 months ago ago updated xstream.jar to 1.4.10 for Java 9/10/11 (see http://x-stream.github.io);
7 months ago ago support for jdk-11;
7 months ago ago updated windows_app to launch4j 3.12: "fully supports Java 9 and newer";
7 months ago ago updated to scala-2.12.7;
10 months ago ago updated to Poly/ML fixes-5.7.1 b3d1ff33a4b4;
10 months ago ago updated to jdk-8u181;
10 months ago ago updated to kodkodi-1.5.2-1: modernized settings and renamed directory (same executables);
10 months ago ago updated to polyml-5.7.1-7 (see also afa7c5a239e6);
10 months ago ago added Vampire component
11 months ago ago updated to polyml-5.7.1-6;
11 months ago ago updated to sqlite-jdbc-3.23.1;
11 months ago ago updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018;
12 months ago ago updated to scala-2.12.6;
12 months ago ago updated some Sledgehammer components, following Makarius advice
12 months ago ago no censorship of view title;
13 months ago ago updated to postgresql-42.2.2, with more smooth support for Java 9/10;
13 months ago ago updated to jdk-8u172;
13 months ago ago 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;
13 months ago ago updated to xz-java-1.8;
13 months ago ago updated windows_app to launch4j 3.11 and 7zsd_extra_171_3901.7z (reconstructed by Chris Lake);
13 months ago ago updated to jedit-5.5.0;
14 months ago ago updated to scala-2.12.5;
15 months ago ago updated polyml component;
15 months ago ago updated polyml component -- omitting bad polyml-5.7.1-3;
15 months ago ago updated to polyml-5.7.1-2, which includes libgmp for x86-darwin as well;
15 months ago ago rebuild of polyml-5.7.1 with libgmp for x86_darwin;
16 months ago ago updated to jdk-8u162;
16 months ago ago added glyph from "Deja Vu Sans Mono" font;
17 months ago ago more robust hyphen (see also "Soft hyphen (SHY) – a hard problem?" http://jkorpela.fi/shy.html);
17 months ago ago HTML rendering of \<^control> as in Isabelle/jEdit;
17 months ago ago bibtex HTML output via external tool;
18 months ago ago updated to official release of polyml-5.7.1;