Admin/components/main
6 months ago wenzelm 2019-04-06 support both hinted and unhinted fonts;
6 months ago wenzelm 2019-04-04 updated to sqlite-jdbc-3.27.2.1;
6 months ago wenzelm 2019-03-23 updated to ssh-java-20190323 (with jsch-0.1.55.jar);
6 months ago wenzelm 2019-03-23 more explicit opam dependencies;
7 months ago wenzelm 2019-03-21 updated to current opam-2.0.3, which is also the version provided by Cygwin 3.0.4;
7 months ago wenzelm 2019-03-12 updated to polyml-5.8 (official release);
7 months ago wenzelm 2019-03-09 added glyph for \<marker>;
7 months ago wenzelm 2019-03-06 updated to polyml-5.8-20190306;
7 months ago wenzelm 2019-02-24 updated to jedit_build-20190224 (new patches: favorites, glyphvector);
8 months ago wenzelm 2019-02-20 updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8);
8 months ago wenzelm 2019-02-17 updated to polyml-test-8fda4fd22441;
8 months ago wenzelm 2019-02-10 updated to isabelle_fonts-20190210;
8 months ago wenzelm 2019-02-04 back to stable polyml-5.7.1-8 for now;
8 months ago wenzelm 2019-02-02 back to polyml-test-1b2dcf8f5202 -- more stable;
8 months ago wenzelm 2019-02-01 updated to polyml-test-b68438d33c69;
8 months ago wenzelm 2019-01-31 updated to polyml-test-1236652ebd55;
8 months ago wenzelm 2019-01-30 more accurate file position;
8 months ago wenzelm 2019-01-29 updated to jdk-11.0.2+9;
8 months ago wenzelm 2019-01-27 updated to polyml-test-1b2dcf8f5202;
8 months ago wenzelm 2019-01-23 updated to polyml-test-a444f281ccec;
8 months ago wenzelm 2019-01-22 use polyml-test-0a6ebca445fc by default: already quite stable;
9 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;
10 months ago wenzelm 2018-12-09 updated to scala-2.12.8;
10 months ago wenzelm 2018-12-07 updated to stack-1.9.3; proper settings for Windows;
10 months ago wenzelm 2018-12-03 updated to jedit_build-20181203 (according to d70767e508d7);
10 months ago wenzelm 2018-11-29 clarified "hidden" terminology; updated component;
10 months ago wenzelm 2018-11-24 use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
11 months ago wenzelm 2018-10-26 proper environment for variable folding;
11 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;
12 months ago wenzelm 2018-10-17 isabelle_stack as portable shell function;
12 months ago wenzelm 2018-10-17 tuned;
12 months ago wenzelm 2018-10-13 back to jdk-8u181: avoid degraded font-rendering of jdk-11 on Linux;
12 months ago wenzelm 2018-10-08 isabelle_opam as portable shell function;
12 months ago wenzelm 2018-10-06 activate jdk-11
12 months ago wenzelm 2018-10-01 updated to postgresql-42.2.5;
12 months ago wenzelm 2018-09-30 updated to scala-2.12.7;
14 months ago wenzelm 2018-08-02 suppress verit-2016post -- not ready for release;
14 months ago wenzelm 2018-07-28 updated to Poly/ML fixes-5.7.1 b3d1ff33a4b4;
14 months ago wenzelm 2018-07-25 updated to jdk-8u181;
15 months ago wenzelm 2018-07-22 updated to kodkodi-1.5.2-1: modernized settings and renamed directory (same executables);
15 months ago wenzelm 2018-07-22 updated to polyml-5.7.1-7 (see also afa7c5a239e6);
15 months ago blanchet 2018-07-02 added Vampire component
16 months ago wenzelm 2018-06-20 updated to polyml-5.7.1-6;
16 months ago wenzelm 2018-06-06 updated to sqlite-jdbc-3.23.1;
17 months ago wenzelm 2018-05-20 updated to scala-2.12.6;
17 months ago blanchet 2018-05-17 updated some Sledgehammer components, following Makarius advice
17 months ago wenzelm 2018-05-04 no censorship of view title;
18 months ago wenzelm 2018-04-20 updated to postgresql-42.2.2, with more smooth support for Java 9/10;
18 months ago wenzelm 2018-04-19 updated to jdk-8u172;
18 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;
18 months ago wenzelm 2018-04-17 updated to xz-java-1.8;
18 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;
19 months ago wenzelm 2018-03-27 updated to scala-2.12.5;
20 months ago wenzelm 2018-02-13 updated polyml component;
20 months ago wenzelm 2018-02-11 updated polyml component -- omitting bad polyml-5.7.1-3;
20 months ago wenzelm 2018-02-10 updated to polyml-5.7.1-2, which includes libgmp for x86-darwin as well;
20 months ago wenzelm 2018-02-09 rebuild of polyml-5.7.1 with libgmp for x86_darwin;
21 months ago wenzelm 2018-01-23 updated to jdk-8u162;
21 months ago wenzelm 2018-01-13 added glyph from "Deja Vu Sans Mono" font;
21 months ago wenzelm 2017-12-30 more robust hyphen (see also "Soft hyphen (SHY) – a hard problem?" http://jkorpela.fi/shy.html);