# HG changeset patch
# User wenzelm
# Date 1219525648 -7200
# Node ID 4557e77d4d3db0d2a65340ae5d6319fa6d3aefee
# Parent  1e0303048c0b28187067864a8062289335ca06d4
include ../../classes/Pure.jar;

diff -r 1e0303048c0b -r 4557e77d4d3d lib/jedit/plugin/mk
--- 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 \