updated to Poly/ML fixes-5.7.1 b3d1ff33a4b4;

updated to jdk-8u181;

updated to kodkodi-1.5.2-1: modernized settings and renamed directory (same executables);

updated to polyml-5.7.1-7 (see also afa7c5a239e6);

added Vampire component

updated to polyml-5.7.1-6;

updated to sqlite-jdbc-3.23.1;

updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018;
record cygwin mirror explicitly;

updated to scala-2.12.6;

updated some Sledgehammer components, following Makarius advice

no censorship of view title;

updated to postgresql-42.2.2, with more smooth support for Java 9/10;

updated to jdk-8u172;

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;

updated to xz-java-1.8;

updated windows_app to launch4j 3.11 and 7zsd_extra_171_3901.7z (reconstructed by Chris Lake);

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;

updated to scala-2.12.5;

updated polyml component;

updated polyml component -- omitting bad polyml-5.7.1-3;

updated to polyml-5.7.1-2, which includes libgmp for x86-darwin as well;

rebuild of polyml-5.7.1 with libgmp for x86_darwin;

updated to jdk-8u162;

added glyph from "Deja Vu Sans Mono" font;

more robust hyphen (see also "Soft hyphen (SHY) – a hard problem?" http://jkorpela.fi/shy.html);

HTML rendering of \<^control> as in Isabelle/jEdit;

bibtex HTML output via external tool;

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;

more recent polyml-test version;
afford more heap by default: all platforms are now 64bit and presumably have sufficient memory;

updated to scala-2.12.4;

polyml-test version based on experimental branch NewTestRegisterSave;

more recent polyml-test version;

updated to jdk-8u152, which is for x86_64 only;

auto update;

more recent polyml-test version;

more recent polyml-test version;

added veriT component

updated to x86_64-cygwin;

auto update;

basic support for x86_64-cygwin;

updated component: static build of for x86-linux, using actual cvc4 1.5 (see also c41642bc1ebb);

updated CVC4 and E components with 32-bit Linux and rebuild 64-bit Linux binaries

added/updated components

auto update;

updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;

upgraded CVC4 component to fix abnormal termination reported by Larry Paulson

updated to sqlite-jdbc-3.20.0;

updated to postgresql-42.1.4;

updated to scala-2.12.3;

auto update;

updated to jdk-8u144;

E 2.0 component

updated CVC4 component to official 1.5 release

refer to already extracted library files, to avoid tmp files produced by SQLiteJDBCLoader, which tend to remain after JVM crash;

updated to postgresql-42.1.1;

updated to sqlite-jdbc-3.18.0;

avoid mixture of symlinks and hardlinks, which causes problems with BSD tar on macOS Sierra;

updated;

updated to jdk-8u131;

updated to xz-java-1.6;

updated to polyml-5.7 for testing (not yet ready for production use);

updated to jedit-5.4.0;

--HG--
rename : src/Tools/jEdit/patches/brackets_extended_styles => src/Tools/jEdit/patches/extended_styles

updated to polyml-5.7 pre-release from repository;

updated;

minimal support for PostgreSQL databases;

updated to jdk-8u121;

updated Poly/ML repository test version (08-Dec-2016);

more cronjob tasks, using Poly/ML repository version from 13-Nov-2016;

added Nunchaku component and tuned Nunchaku integration accordingly

updated to scala-2.12.0;

updated to scala-2.12.0;

updated CVC4 component

updated to cygwin-20161024: cygwin.exe from current http://isabelle.in.tum.de/cygwin_2016-1

updated to jedit_build-20161024: Code2HTML 0.7, Navigator 2.7;

updated to current Cygwin, after 2.6.0-1 from 31-Aug-2016;

updated to jdk-8u112;

support for SSH in Isabelle/Scala;

updated to sumatra_pdf-3.1.2;

updated to xz-java-1.5;

updated cygwin according to 9416333a17c2, still using old 1.7.35-1;

minimal support for SQLite databases;

added glyph from "Deja Vu Sans Mono" font;

more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;

updated;

some icons from Symbola font;

isabelle components_checksum -u;

updated to jdk-8u92;

updated to Navigator 2.6;

updated to scala-2.11.8;

ignore SIGINT in waiting wrapper process;
proper "bash_process.c" and "build" within component;

bash process with builtin timing;

symbol interpretation for \<circle>;

updated bash_process;

clarified bash process;

evade a potential conflict of /bin/bash versus /bin/sh -> dash (notably on Ubuntu and Debian) -- note that execvpe does not exist on old glibc on Ubuntu 10.04 LTS, but the environ should be unchanged;

updated to official polyml-5.6;

updated jdk;

updated polyml;

tuned spacing of \<partial>;
spontaneous update of .sfd files due to fontforge;

glyphs for \<bind>, \<then>;

updated sumatra_pdf;

updated isabelle_fonts;

updated isabelle_fonts;

updated polyml;

updated Cygwin (somewhere after 1.7.35-1);

proper checksum for cygwin-20151210.tar.gz (some snapshot after 1.7.35-1);

updated to polyml-5.6-20151206, which presumably improves stability on Windows;

paint gutter text on base line of main text area, to accomodate extra line spacing without special tricks (see also jEdit bug #3717 and its fix in SVN 23977, which does not quite work: odd jumping positions on vertical cursor movement);
avoid hardwired colors (see 1d9c121cbe4d);
updated to Highlight 2.2;

updated to polyml-5.6-20151123;

added @{undefined} with somewhat undefined symbol;

added glyphs 0x204b, 0x2b1a from DejaVuSansMono;

added propertional dashes from DejaVuSans (not Mono): 0x2013, 0x2014, 0x2015;

updated CVC4 component to deal with paths with whitespace

updated to jedit-5.3.0 and SideKick 1.8;

--HG--
rename : src/Tools/jEdit/patches/extended_styles => src/Tools/jEdit/patches/brackets_extended_styles

updated to jdk-8u66;

Isabelle fonts via external component;

more recent JavaAppLauncher, which supports file associations;

updated to polyml-5.5.3-20150916 (polyml git version cb1b36caa242);

convenient change of ML system architecture via system option ML_preference_64, which is grepped off-line from stored preferences during bootstrap;

updated to polyml-5.5.3-20150908, with support for x86_64-windows and Unicode file-names;

updated to jdk-8u60, with support for x86_64-windows;

updated to recent launch4j 3.8;

updated to polyml-5.5.3-20150820, with native x86-windows support;

updated to jdk-8u51;

updated to scala-2.11.7;

add Haskabelle-2015 component

new CVC4 component

sorted by automatic regeneration;

updated polyml according to fixes-5.5.2 SVN version 2007;

updated to jdk-7u80, the latest and last public release of Java 7;

updated Cygwin near 1.7.35-1;

updated to new Z3

updated to sumatra_pdf-3.0;

updated to scala-2.11.6;

updated to jedit-5.2.0;
updated CommonControls.jar, kappalayout.jar, MacOSX.jar, SideKick.jar;

updated CVC4 component to include libgmp on Mac OS X

added CVC4 component (and took out CVC3 from main components)

updated to jdk-7u76, which appears to be more stable than jdk-8u31 (e.g. crashes jEdit/Console plugin of Mac OS X);

updated jdk-8u31;

updated to scala-2.11.5;

updated polyml according to fixes-5.5.2 SVN version 2009;

proper button margins for Nimbus L&F;
properties are sorted when saved;

updated to scala-2.11.4;

updated to jdk-7u72;

support negative extraLineSpacing;
updated ErrorList.jar 2.3;

discontinued python from standard system environment;

always apply precedingFoldLevels, avoid unclear shortcuts;
updated Console.jar 5.1.4;

added csdp-6.x for proof method (sos csdp);

added jdk-8u20 (inactive);

updated to jdk-7u67;

updated to cygwin-20140813 -- some version after 1.7.31-3;

registered Haskabelle-2014

updated to polyml-5.5.2-1 which addresses two hard crashes;

updated to cygwin-20140725, which is presumably close to Cygwin 1.7.31-1;

updated to scala-2.11.2;

updated ErrorList.jar;

updated to jdk-7u65;

updated to jdk-8u11 (inactive);

updated to sumatra_pdf-2.5.2;

ProofGeneral-4.2-2 is optional component (including the traditional helper scripts);

updated to jdk-7u60 -- back to stable Java 7 for Isabelle2014 release;

updated generated file;

updated cygwin on server;
include unzip, which is required for src/Doc/JEdit;

new Z3 4.3.2 component, based on more recent repository version, and whose Mac binary was built on Mac OS X 10.7

updated cygwin -- include perl_vendor for libwww-perl;

updated to scala-2.11.1, with full uncensored classpath;

updated cygwin more thoroughly;

updated cygwin;

updated to polyml-5.5.2;

more direct patch of public interface DockableWindowContainer -- avoid package org.gjt.sp.jedit.gui intrusion;
prefer JDialog for FloatingWindowContainer, to keep it in front of the main window;
updated to Navigator.jar 2.5, SideKick.jar 1.6;

added Z3 4.3.2 (unstable) component

updated to scala-2.11.0 with classpath provided by its etc/settings;

updated to jdk-8u5;

updated to jortho-1.0-2: added dictionary "en-CA", changed dictionary "en" to be the union of all dialects instead of intersection;

updated to jortho-1.0-1: dictionaries from SCOWL 7.1, with parameters like aspell;
simplified dictionary file format;
tuned signature;

added spell-checker based on jortho-1.0;

updated to jedit_build-20140405: Code2HTML.jar, CommonControls.jar, Console.jar, kappalayout.jar, Navigator.jar, SideKick.jar, doc with jEdit manuals (ant dist-manuals);

updated to scala-2.10.4;

added Z3 4.3.0 as component (for use with 'smt2' method)

sorted entries according to components_checksum;

more unicode tokens;
diff -r ProofGeneral-4.2/isar/isar-unicode-tokens.el ProofGeneral-4.2-1/isar/isar-unicode-tokens.el
356c356,359
< ("some" "ϵ"))
---
> ("some" "ϵ")
> ("open" "‹")
> ("close" "›")
> ("newline" "⏎"))

activation of Z3 via "z3_non_commercial" system option (without requiring restart);

updated to Sumatra PDF 2.4;
prefer option -reuse-instance;
PDF_VIEWER refers to program, not command-line;

prefer transparent application icon (like Mac OS X);

updated icon of Isabelle.exe, using http://convertico.org/image_to_icon_converter on lib/logo/isabelle.gif (approx. 256x256 pixels according to Windows 7 format);

updated to polyml-5.5.1-1 (fixes-5.5.1 version 1875);

updated to jedit_build-20131106 (Console.jar 5.1.3);

native executable for Linux (see Admin/Linux);

updated to scala-2.10.3;

updated to sumatra_pdf-2.3.2;

updated jedit.jar, jEdit-patched.tar.gz according to 239f8f451976;

removed obsolete cobra.jar, js.jar (see also 30de372ca56f);
added MacOSX.jar based on SVN 23208 (essentially plugin version 1.3);

updated to polyml-5.5.1;
prefer explicit POLYML_HOME to simplify additional user settings;

updated cygwin snapshot;

proper sharing after change of directory structure (cf. 32ec957e5c3e);
result is structurally equal, despite change of hash key;

added component jdk-7u40.tar.gz (inactive);

maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
ignore $ISABELLE_JAVA_EXT -- do not change java.ext.dirs;

updated to jedit_build-20130910 (with update of jedit.jar and Highlight.jar);

updated exe -- more explicit icon;

updated to WinRun4J;

imitate "isabelle java" and "isabelle jedit" wrt. classpath and options;

updated windows_app-20130905;

updated to jdk-7u25;
less redundant directory structure;

updated to jedit_build-20130905 which is based on jedit-5.1.0;
added jsr305-2.0.0.jar from http://code.google.com/p/findbugs (via ivy cache), which is required to resolve javax.annotation.*;

imported patch added_e_1_8

Cygwin with Latex according to Cygwin-Latex-Setup.bat (presently unused);

fully-automated packaging (requires Mac OS X);

build Windows application on the spot, using Unix tools;

support for idea-icons (using ideaIC-129.354/platform/icons/src from IntelliJ IDEA Community Edition 12.1.2);

updated to scala-2.10.2;

updated to ProofGeneral-4.2;

updated to jdk-7u21;

added component xz-java-1.2;

updated to scala-2.10.1;

provide jdk-7u13 (still inactive, potentially pointless);

updated to polyml-5.5.0-3 based on fixes-5.5 version 1658, which provides important improvements;

another attempt to standardize sort order in a portable way;

rebundled polyml-5.5.0-2, which now includes the sources as usual (e.q. required for formal references in Isabelle/ML);

repackaged polyml-5.5.0-1 -- only x86-cygwin changed;

updated to cygwin-20130117;

re-generated components.sha1;

updated component again, as there was an issue with hard-coded paths in "runepar.pl"

updated E component

register SHA1 for Haskabelle-2013 component

updated to jdk-7u11;

updated to cygwin-20130114;

manage cygwin as bundled quasi-component;

updated to scala-2.10.0;

updated to jedit_build-20130104;

just one Admin/components/ directory;

--HG--
rename : Admin/component_repository/README => Admin/components/README
rename : Admin/component_repository/checksum => Admin/components/checksum
rename : Admin/component_repository/components.sha1 => Admin/components/components.sha1