Admin/components/components.sha1
2014-05-11 wenzelm 2014-05-11 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;
2014-04-25 blanchet 2014-04-25 added Z3 4.3.2 (unstable) component
2014-04-22 wenzelm 2014-04-22 updated to scala-2.11.0 with classpath provided by its etc/settings;
2014-04-16 wenzelm 2014-04-16 updated to jdk-8u5;
2014-04-15 wenzelm 2014-04-15 updated to jortho-1.0-2: added dictionary "en-CA", changed dictionary "en" to be the union of all dialects instead of intersection;
2014-04-13 wenzelm 2014-04-13 updated to jortho-1.0-1: dictionaries from SCOWL 7.1, with parameters like aspell; simplified dictionary file format; tuned signature;
2014-04-11 wenzelm 2014-04-11 added spell-checker based on jortho-1.0;
2014-04-05 wenzelm 2014-04-05 updated to jedit_build-20140405: Code2HTML.jar, CommonControls.jar, Console.jar, kappalayout.jar, Navigator.jar, SideKick.jar, doc with jEdit manuals (ant dist-manuals);
2014-03-25 wenzelm 2014-03-25 updated to scala-2.10.4;
2014-03-13 blanchet 2014-03-13 added Z3 4.3.0 as component (for use with 'smt2' method)
2014-01-18 wenzelm 2014-01-18 sorted entries according to components_checksum;
2014-01-18 wenzelm 2014-01-18 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" "⏎"))
2014-01-13 wenzelm 2014-01-13 activation of Z3 via "z3_non_commercial" system option (without requiring restart);
2013-12-06 wenzelm 2013-12-06 updated to Sumatra PDF 2.4; prefer option -reuse-instance; PDF_VIEWER refers to program, not command-line;
2013-12-01 wenzelm 2013-12-01 prefer transparent application icon (like Mac OS X);
2013-11-30 wenzelm 2013-11-30 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);
2013-11-07 wenzelm 2013-11-07 updated to polyml-5.5.1-1 (fixes-5.5.1 version 1875);
2013-11-06 wenzelm 2013-11-06 updated to jedit_build-20131106 (Console.jar 5.1.3);
2013-10-07 wenzelm 2013-10-07 native executable for Linux (see Admin/Linux);
2013-10-02 wenzelm 2013-10-02 updated to scala-2.10.3;
2013-09-29 wenzelm 2013-09-29 updated to sumatra_pdf-2.3.2;
2013-09-26 wenzelm 2013-09-26 updated jedit.jar, jEdit-patched.tar.gz according to 239f8f451976;
2013-09-25 wenzelm 2013-09-25 removed obsolete cobra.jar, js.jar (see also 30de372ca56f); added MacOSX.jar based on SVN 23208 (essentially plugin version 1.3);
2013-09-17 wenzelm 2013-09-17 updated to polyml-5.5.1; prefer explicit POLYML_HOME to simplify additional user settings;
2013-09-16 wenzelm 2013-09-16 updated cygwin snapshot;
2013-09-13 wenzelm 2013-09-13 proper sharing after change of directory structure (cf. 32ec957e5c3e); result is structurally equal, despite change of hash key;
2013-09-13 wenzelm 2013-09-13 added component jdk-7u40.tar.gz (inactive);
2013-09-12 wenzelm 2013-09-12 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;
2013-09-10 wenzelm 2013-09-10 updated to jedit_build-20130910 (with update of jedit.jar and Highlight.jar);
2013-09-08 wenzelm 2013-09-08 updated exe -- more explicit icon;
2013-09-08 wenzelm 2013-09-08 updated to WinRun4J;
2013-09-06 wenzelm 2013-09-06 imitate "isabelle java" and "isabelle jedit" wrt. classpath and options;
2013-09-05 wenzelm 2013-09-05 updated windows_app-20130905;
2013-09-05 wenzelm 2013-09-05 updated to jdk-7u25; less redundant directory structure;
2013-09-05 wenzelm 2013-09-05 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.*;
2013-08-13 blanchet 2013-08-13 imported patch added_e_1_8
2013-07-16 wenzelm 2013-07-16 Cygwin with Latex according to Cygwin-Latex-Setup.bat (presently unused);
2013-07-16 wenzelm 2013-07-16 fully-automated packaging (requires Mac OS X);
2013-07-16 wenzelm 2013-07-16 build Windows application on the spot, using Unix tools;
2013-06-28 wenzelm 2013-06-28 support for idea-icons (using ideaIC-129.354/platform/icons/src from IntelliJ IDEA Community Edition 12.1.2);
2013-06-23 wenzelm 2013-06-23 updated to scala-2.10.2;
2013-05-27 wenzelm 2013-05-27 updated to ProofGeneral-4.2;
2013-04-25 wenzelm 2013-04-25 updated to jdk-7u21;
2013-03-24 wenzelm 2013-03-24 added component xz-java-1.2;
2013-03-15 wenzelm 2013-03-15 updated to scala-2.10.1;
2013-02-01 wenzelm 2013-02-01 provide jdk-7u13 (still inactive, potentially pointless);
2013-01-28 wenzelm 2013-01-28 updated to polyml-5.5.0-3 based on fixes-5.5 version 1658, which provides important improvements;
2013-01-25 wenzelm 2013-01-25 another attempt to standardize sort order in a portable way;
2013-01-25 wenzelm 2013-01-25 rebundled polyml-5.5.0-2, which now includes the sources as usual (e.q. required for formal references in Isabelle/ML);
2013-01-21 wenzelm 2013-01-21 repackaged polyml-5.5.0-1 -- only x86-cygwin changed;
2013-01-17 wenzelm 2013-01-17 updated to cygwin-20130117;
2013-01-17 wenzelm 2013-01-17 re-generated components.sha1;
2013-01-17 blanchet 2013-01-17 updated component again, as there was an issue with hard-coded paths in "runepar.pl"
2013-01-17 blanchet 2013-01-17 updated E component
2013-01-17 noschinl 2013-01-17 register SHA1 for Haskabelle-2013 component
2013-01-14 wenzelm 2013-01-14 updated to jdk-7u11;
2013-01-14 wenzelm 2013-01-14 updated to cygwin-20130114;
2013-01-10 wenzelm 2013-01-10 manage cygwin as bundled quasi-component;
2013-01-06 wenzelm 2013-01-06 updated to scala-2.10.0;
2013-01-04 wenzelm 2013-01-04 updated to jedit_build-20130104;