Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated to jedit_build-20140405: Code2HTML.jar, CommonControls.jar, Console.jar, kappalayout.jar, Navigator.jar, SideKick.jar, doc with jEdit manuals (ant dist-manuals);
authorwenzelm
Sat, 05 Apr 2014 15:03:40 +0200
changeset 56421 1ffd7eaa778b
parent 56418 c267a0feb63a
child 56422 7490555d7dff
updated to jedit_build-20140405: Code2HTML.jar, CommonControls.jar, Console.jar, kappalayout.jar, Navigator.jar, SideKick.jar, doc with jEdit manuals (ant dist-manuals);
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions
src/Tools/jEdit/lib/Tools/jedit file | annotate | diff | comparison | revisions 
--- 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
--- 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
--- 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"
isabelle