equal
deleted
inserted
replaced
285 cp "$ISABELLE_HOME/lib/logo/isabelle-32.gif" \ |
285 cp "$ISABELLE_HOME/lib/logo/isabelle-32.gif" \ |
286 "org/gjt/sp/jedit/icons/themes/classic/32x32/apps/isabelle.gif" || failed |
286 "org/gjt/sp/jedit/icons/themes/classic/32x32/apps/isabelle.gif" || failed |
287 cp "$ISABELLE_HOME/lib/logo/isabelle-32.gif" \ |
287 cp "$ISABELLE_HOME/lib/logo/isabelle-32.gif" \ |
288 "org/gjt/sp/jedit/icons/themes/tango/32x32/apps/isabelle.gif" || failed |
288 "org/gjt/sp/jedit/icons/themes/tango/32x32/apps/isabelle.gif" || failed |
289 isabelle_jdk jar cfe jedit.jar org.gjt.sp.jedit.jEdit org || failed |
289 isabelle_jdk jar cfe jedit.jar org.gjt.sp.jedit.jEdit org || failed |
290 rm -rf org |
290 rm -rf META-INF org |
291 cd .. |
291 cd .. |
292 |
292 |
293 cp -p -R -f "${JEDIT_JARS[@]}" dist/jars/. || failed |
293 cp -p -R -f "${JEDIT_JARS[@]}" dist/jars/. || failed |
294 ( |
294 ( |
295 #workaround for scalac 2.10.2 |
295 #workaround for scalac 2.10.2 |