--- a/lib/jedit/plugin/mk Sat Aug 23 21:06:32 2008 +0200
+++ b/lib/jedit/plugin/mk Sat Aug 23 23:07:28 2008 +0200
@@ -6,12 +6,10 @@
rm -rf build/ && mkdir -p build
-( cd build; jar xf ../../../classes/isabelle.jar )
-
rm -f ../isabelle.jar
scalac -d build \
- -cp $JEDIT_HOME/jedit.jar:$PLUGINS/SideKick.jar:$PLUGINS/ErrorList.jar:$PLUGINS/Console.jar \
+ -cp $JEDIT_HOME/jedit.jar:$PLUGINS/SideKick.jar:$PLUGINS/ErrorList.jar:$PLUGINS/Console.jar:../../classes/Pure.jar \
isabelle/IsabellePlugin.scala \
isabelle/IsabelleDock.scala \
isabelle/IsabelleParser.scala \