changeset 53415 | 9ebab8b7d73c |
parent 53246 | 8d34caf5bf82 |
child 53439 | 5bef05f5ed58 |
--- a/src/Tools/jEdit/lib/Tools/jedit Thu Sep 05 01:58:48 2013 +0200 +++ b/src/Tools/jEdit/lib/Tools/jedit Thu Sep 05 12:33:51 2013 +0200 @@ -221,6 +221,7 @@ "$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" ) declare -a JFREECHART_JARS=()