removed obsolete cobra.jar, js.jar (see also 30de372ca56f);
authorwenzelm
Wed Sep 25 15:26:19 2013 +0200 (2013-09-25)
changeset 53882da57c4912987
parent 53879 87941795956c
child 53883 f1c5f857df3d
removed obsolete cobra.jar, js.jar (see also 30de372ca56f);
added MacOSX.jar based on SVN 23208 (essentially plugin version 1.3);
Admin/components/components.sha1
Admin/components/main
src/Tools/jEdit/lib/Tools/jedit
     1.1 --- a/Admin/components/components.sha1	Wed Sep 25 14:28:10 2013 +0200
     1.2 +++ b/Admin/components/components.sha1	Wed Sep 25 15:26:19 2013 +0200
     1.3 @@ -36,6 +36,7 @@
     1.4  c85c0829b8170f25aa65ec6852f505ce2a50639b  jedit_build-20130628.tar.gz
     1.5  5de3e399be2507f684b49dfd13da45228214bbe4  jedit_build-20130905.tar.gz
     1.6  87136818fd5528d97288f5b06bd30c787229eb0d  jedit_build-20130910.tar.gz
     1.7 +c63189cbe39eb8104235a0928f579d9523de78a9  jedit_build-20130925.tar.gz
     1.8  0bd2bc2d9a491ba5fc8dd99df27c04f11a72e8fa  jfreechart-1.0.14-1.tar.gz
     1.9  8122526f1fc362ddae1a328bdbc2152853186fee  jfreechart-1.0.14.tar.gz
    1.10  6c737137cc597fc920943783382e928ea79e3feb  kodkodi-1.2.16.tar.gz
     2.1 --- a/Admin/components/main	Wed Sep 25 14:28:10 2013 +0200
     2.2 +++ b/Admin/components/main	Wed Sep 25 15:26:19 2013 +0200
     2.3 @@ -4,7 +4,7 @@
     2.4  exec_process-1.0.3
     2.5  Haskabelle-2013
     2.6  jdk-7u40
     2.7 -jedit_build-20130910
     2.8 +jedit_build-20130925
     2.9  jfreechart-1.0.14-1
    2.10  kodkodi-1.5.2
    2.11  polyml-5.5.1
     3.1 --- a/src/Tools/jEdit/lib/Tools/jedit	Wed Sep 25 14:28:10 2013 +0200
     3.2 +++ b/src/Tools/jEdit/lib/Tools/jedit	Wed Sep 25 15:26:19 2013 +0200
     3.3 @@ -207,8 +207,6 @@
     3.4    "$ISABELLE_JEDIT_BUILD_HOME/contrib/ErrorList.jar"
     3.5    "$ISABELLE_JEDIT_BUILD_HOME/contrib/Highlight.jar"
     3.6    "$ISABELLE_JEDIT_BUILD_HOME/contrib/SideKick.jar"
     3.7 -  "$ISABELLE_JEDIT_BUILD_HOME/contrib/cobra.jar"
     3.8 -  "$ISABELLE_JEDIT_BUILD_HOME/contrib/js.jar"
     3.9    "$ISABELLE_JEDIT_BUILD_HOME/contrib/idea-icons.jar"
    3.10    "$ISABELLE_JEDIT_BUILD_HOME/contrib/jsr305-2.0.0.jar"
    3.11  )