Admin/components/main
4 months ago wenzelm 2019-02-01 updated to polyml-test-b68438d33c69;
4 months ago wenzelm 2019-01-31 updated to polyml-test-1236652ebd55;
4 months ago wenzelm 2019-01-30 more accurate file position;
4 months ago wenzelm 2019-01-29 updated to jdk-11.0.2+9;
4 months ago wenzelm 2019-01-27 updated to polyml-test-1b2dcf8f5202;
4 months ago wenzelm 2019-01-23 updated to polyml-test-a444f281ccec;
4 months ago wenzelm 2019-01-22 use polyml-test-0a6ebca445fc by default: already quite stable;
4 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 2018-12-09 updated to scala-2.12.8;
6 months ago wenzelm 2018-12-07 updated to stack-1.9.3; proper settings for Windows;
6 months ago wenzelm 2018-12-03 updated to jedit_build-20181203 (according to d70767e508d7);
6 months ago wenzelm 2018-11-29 clarified "hidden" terminology; updated component;
6 months ago wenzelm 2018-11-24 use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
7 months ago wenzelm 2018-10-26 proper environment for variable folding;
7 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-17 isabelle_stack as portable shell function;
8 months ago wenzelm 2018-10-17 tuned;
8 months ago wenzelm 2018-10-13 back to jdk-8u181: avoid degraded font-rendering of jdk-11 on Linux;
8 months ago wenzelm 2018-10-08 isabelle_opam as portable shell function;
8 months ago wenzelm 2018-10-06 activate jdk-11
8 months ago wenzelm 2018-10-01 updated to postgresql-42.2.5;
8 months ago wenzelm 2018-09-30 updated to scala-2.12.7;
10 months ago wenzelm 2018-08-02 suppress verit-2016post -- not ready for release;
10 months ago wenzelm 2018-07-28 updated to Poly/ML fixes-5.7.1 b3d1ff33a4b4;
10 months ago wenzelm 2018-07-25 updated to jdk-8u181;
10 months ago wenzelm 2018-07-22 updated to kodkodi-1.5.2-1: modernized settings and renamed directory (same executables);
11 months ago wenzelm 2018-07-22 updated to polyml-5.7.1-7 (see also afa7c5a239e6);
11 months ago blanchet 2018-07-02 added Vampire component
12 months ago wenzelm 2018-06-20 updated to polyml-5.7.1-6;
12 months ago wenzelm 2018-06-06 updated to sqlite-jdbc-3.23.1;
13 months ago wenzelm 2018-05-20 updated to scala-2.12.6;
13 months ago blanchet 2018-05-17 updated some Sledgehammer components, following Makarius advice
13 months ago wenzelm 2018-05-04 no censorship of view title;
14 months ago wenzelm 2018-04-20 updated to postgresql-42.2.2, with more smooth support for Java 9/10;
14 months ago wenzelm 2018-04-19 updated to jdk-8u172;
14 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;
14 months ago wenzelm 2018-04-17 updated to xz-java-1.8;
14 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;
14 months ago wenzelm 2018-03-27 updated to scala-2.12.5;
16 months ago wenzelm 2018-02-13 updated polyml component;
16 months ago wenzelm 2018-02-11 updated polyml component -- omitting bad polyml-5.7.1-3;
16 months ago wenzelm 2018-02-10 updated to polyml-5.7.1-2, which includes libgmp for x86-darwin as well;
16 months ago wenzelm 2018-02-09 rebuild of polyml-5.7.1 with libgmp for x86_darwin;
16 months ago wenzelm 2018-01-23 updated to jdk-8u162;
17 months ago wenzelm 2018-01-13 added glyph from "Deja Vu Sans Mono" font;
17 months ago wenzelm 2017-12-30 more robust hyphen (see also "Soft hyphen (SHY) – a hard problem?" http://jkorpela.fi/shy.html);
18 months ago wenzelm 2017-12-22 HTML rendering of \<^control> as in Isabelle/jEdit;
18 months ago wenzelm 2017-12-21 bibtex HTML output via external tool;
18 months ago wenzelm 2017-11-27 updated to official release of polyml-5.7.1; back to more modest default heap: e.g. relevant for Pure session for ML IDE; more robust POLYML_EXE;
19 months ago wenzelm 2017-11-07 more recent polyml-test version; afford more heap by default: all platforms are now 64bit and presumably have sufficient memory;
19 months ago wenzelm 2017-11-05 updated to scala-2.12.4;
19 months ago wenzelm 2017-11-05 testing NewTestRegisterSave;
19 months ago wenzelm 2017-10-29 more recent polyml-test version;
19 months ago wenzelm 2017-10-26 use Poly/ML 5.7.1 test version as default;
20 months ago wenzelm 2017-10-23 updated to jdk-8u152, which is for x86_64 only;
20 months ago wenzelm 2017-10-07 prefer native platform x86-windows, to make this work on x86_64-cygwin;
20 months ago blanchet 2017-09-30 added veriT component
20 months ago wenzelm 2017-09-25 basic support for x86_64-cygwin;
21 months ago wenzelm 2017-09-23 updated component: static build of for x86-linux, using actual cvc4 1.5 (see also c41642bc1ebb);
21 months ago blanchet 2017-09-22 updated CVC4 and E components with 32-bit Linux and rebuild 64-bit Linux binaries