# HG changeset patch # User wenzelm # Date 1380115579 -7200 # Node ID da57c4912987b410b5771636eac2bd172128d71c # Parent 87941795956c65e32c0c1e94080211cd785ee695 removed obsolete cobra.jar, js.jar (see also 30de372ca56f); added MacOSX.jar based on SVN 23208 (essentially plugin version 1.3); diff -r 87941795956c -r da57c4912987 Admin/components/components.sha1 --- a/Admin/components/components.sha1 Wed Sep 25 14:28:10 2013 +0200 +++ b/Admin/components/components.sha1 Wed Sep 25 15:26:19 2013 +0200 @@ -36,6 +36,7 @@ c85c0829b8170f25aa65ec6852f505ce2a50639b jedit_build-20130628.tar.gz 5de3e399be2507f684b49dfd13da45228214bbe4 jedit_build-20130905.tar.gz 87136818fd5528d97288f5b06bd30c787229eb0d jedit_build-20130910.tar.gz +c63189cbe39eb8104235a0928f579d9523de78a9 jedit_build-20130925.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 87941795956c -r da57c4912987 Admin/components/main --- a/Admin/components/main Wed Sep 25 14:28:10 2013 +0200 +++ b/Admin/components/main Wed Sep 25 15:26:19 2013 +0200 @@ -4,7 +4,7 @@ exec_process-1.0.3 Haskabelle-2013 jdk-7u40 -jedit_build-20130910 +jedit_build-20130925 jfreechart-1.0.14-1 kodkodi-1.5.2 polyml-5.5.1 diff -r 87941795956c -r da57c4912987 src/Tools/jEdit/lib/Tools/jedit --- a/src/Tools/jEdit/lib/Tools/jedit Wed Sep 25 14:28:10 2013 +0200 +++ b/src/Tools/jEdit/lib/Tools/jedit Wed Sep 25 15:26:19 2013 +0200 @@ -207,8 +207,6 @@ "$ISABELLE_JEDIT_BUILD_HOME/contrib/ErrorList.jar" "$ISABELLE_JEDIT_BUILD_HOME/contrib/Highlight.jar" "$ISABELLE_JEDIT_BUILD_HOME/contrib/SideKick.jar" - "$ISABELLE_JEDIT_BUILD_HOME/contrib/cobra.jar" - "$ISABELLE_JEDIT_BUILD_HOME/contrib/js.jar" "$ISABELLE_JEDIT_BUILD_HOME/contrib/idea-icons.jar" "$ISABELLE_JEDIT_BUILD_HOME/contrib/jsr305-2.0.0.jar" )