# HG changeset patch
# User wenzelm
# Date 1396703020 -7200
# Node ID 1ffd7eaa778be198f73f3026810b56820cd9eacd
# Parent  c267a0feb63a90d4e94363fd73cca3ac4b36e39f
updated to jedit_build-20140405: Code2HTML.jar, CommonControls.jar, Console.jar, kappalayout.jar, Navigator.jar, SideKick.jar, doc with jEdit manuals (ant dist-manuals);

diff -r c267a0feb63a -r 1ffd7eaa778b Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sat Apr 05 10:12:51 2014 +0200
+++ b/Admin/components/components.sha1	Sat Apr 05 15:03:40 2014 +0200
@@ -39,6 +39,7 @@
 c63189cbe39eb8104235a0928f579d9523de78a9  jedit_build-20130925.tar.gz
 65cc13054be20d3a60474d406797c32a976d7db7  jedit_build-20130926.tar.gz
 30ca171f745adf12b65c798c660ac77f9c0f9b4b  jedit_build-20131106.tar.gz
+054c1300128f8abd0f46a3e92c756ccdb96ff2af  jedit_build-20140405.tar.gz
 0bd2bc2d9a491ba5fc8dd99df27c04f11a72e8fa  jfreechart-1.0.14-1.tar.gz
 8122526f1fc362ddae1a328bdbc2152853186fee  jfreechart-1.0.14.tar.gz
 6c737137cc597fc920943783382e928ea79e3feb  kodkodi-1.2.16.tar.gz
diff -r c267a0feb63a -r 1ffd7eaa778b Admin/components/main
--- a/Admin/components/main	Sat Apr 05 10:12:51 2014 +0200
+++ b/Admin/components/main	Sat Apr 05 15:03:40 2014 +0200
@@ -4,7 +4,7 @@
 exec_process-1.0.3
 Haskabelle-2013
 jdk-7u40
-jedit_build-20131106
+jedit_build-20140405
 jfreechart-1.0.14-1
 kodkodi-1.5.2
 polyml-5.5.1-1
diff -r c267a0feb63a -r 1ffd7eaa778b src/Tools/jEdit/lib/Tools/jedit
--- a/src/Tools/jEdit/lib/Tools/jedit	Sat Apr 05 10:12:51 2014 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Sat Apr 05 15:03:40 2014 +0200
@@ -207,10 +207,14 @@
 JEDIT_JAR="$ISABELLE_JEDIT_BUILD_HOME/contrib/$ISABELLE_JEDIT_BUILD_VERSION/jedit.jar"
 
 JEDIT_JARS=(
+  "$ISABELLE_JEDIT_BUILD_HOME/contrib/Code2HTML.jar"
+  "$ISABELLE_JEDIT_BUILD_HOME/contrib/CommonControls.jar"
   "$ISABELLE_JEDIT_BUILD_HOME/contrib/Console.jar"
   "$ISABELLE_JEDIT_BUILD_HOME/contrib/ErrorList.jar"
   "$ISABELLE_JEDIT_BUILD_HOME/contrib/Highlight.jar"
+  "$ISABELLE_JEDIT_BUILD_HOME/contrib/kappalayout.jar"
   "$ISABELLE_JEDIT_BUILD_HOME/contrib/MacOSX.jar"
+  "$ISABELLE_JEDIT_BUILD_HOME/contrib/Navigator.jar"
   "$ISABELLE_JEDIT_BUILD_HOME/contrib/SideKick.jar"
   "$ISABELLE_JEDIT_BUILD_HOME/contrib/idea-icons.jar"
   "$ISABELLE_JEDIT_BUILD_HOME/contrib/jsr305-2.0.0.jar"