Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
include ../../classes/Pure.jar;
authorwenzelm
Sat, 23 Aug 2008 23:07:28 +0200
changeset 27965 4557e77d4d3d
parent 27964 1e0303048c0b
child 27966 825286a7a3a4
include ../../classes/Pure.jar;
lib/jedit/plugin/mk file | annotate | diff | comparison | revisions 
--- 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 \
isabelle