Admin/components/main
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);
2 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 back to stable polyml-5.7.1-8 for now;
3 months ago ago back to polyml-test-1b2dcf8f5202 -- more stable;
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;
3 months ago ago updated to polyml-test-a444f281ccec;
3 months ago ago use polyml-test-0a6ebca445fc by default: already quite stable;
3 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;
5 months ago ago updated to scala-2.12.8;
5 months ago ago updated to stack-1.9.3;
5 months ago ago updated to jedit_build-20181203 (according to d70767e508d7);
5 months ago ago clarified "hidden" terminology;
5 months ago ago use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
6 months ago ago proper environment for variable folding;
6 months ago ago updated to jedit_build-20181025 according to patches/macos (Java 11), patches/putenv;
7 months ago ago isabelle_stack as portable shell function;
7 months ago ago tuned;
7 months ago ago back to jdk-8u181: avoid degraded font-rendering of jdk-11 on Linux;
7 months ago ago isabelle_opam as portable shell function;
7 months ago ago activate jdk-11
7 months ago ago updated to postgresql-42.2.5;
7 months ago ago updated to scala-2.12.7;
9 months ago ago suppress verit-2016post -- not ready for release;
9 months ago ago updated to Poly/ML fixes-5.7.1 b3d1ff33a4b4;
9 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;
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 to jedit-5.5.0;
13 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;
16 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;
17 months ago ago updated to official release of polyml-5.7.1;
18 months ago ago more recent polyml-test version;
18 months ago ago updated to scala-2.12.4;
18 months ago ago testing NewTestRegisterSave;