equal
deleted
inserted
replaced
89 [ "$SCALA_HOME/lib/scala-library.jar" ] || fail "Bad Scala directory: $SCALA_HOME" |
89 [ "$SCALA_HOME/lib/scala-library.jar" ] || fail "Bad Scala directory: $SCALA_HOME" |
90 cp "$SCALA_HOME/lib/scala-library.jar" "$JEDIT/jars/" |
90 cp "$SCALA_HOME/lib/scala-library.jar" "$JEDIT/jars/" |
91 |
91 |
92 cp -R "$THIS/dist-template/." "$JEDIT/." |
92 cp -R "$THIS/dist-template/." "$JEDIT/." |
93 |
93 |
|
94 perl -i -e 'while (<>) { if (m/NAME="javacc"/) { |
|
95 print qq,<MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>\n\n,; } |
|
96 print; }' "$JEDIT/modes/catalog" |
|
97 |
94 cp jars/Isabelle-jEdit.jar "$JEDIT/jars/isabelle.jar" |
98 cp jars/Isabelle-jEdit.jar "$JEDIT/jars/isabelle.jar" |
95 cp jars/lib/Pure.jar "$JEDIT/jars/isabelle-Pure.jar" |
99 cp jars/lib/Pure.jar "$JEDIT/jars/isabelle-Pure.jar" |
96 cp jars/lib/core-renderer.jar "$JEDIT/jars/" |
100 cp jars/lib/core-renderer.jar "$JEDIT/jars/" |
97 cp jars/lib/ErrorList.jar "$JEDIT/jars/" |
101 cp jars/lib/ErrorList.jar "$JEDIT/jars/" |
98 cp jars/lib/SideKick.jar "$JEDIT/jars/" |
102 cp jars/lib/SideKick.jar "$JEDIT/jars/" |