# HG changeset patch
# User wenzelm
# Date 1263672855 -3600
# Node ID a5407aabacfef3966ffc51e52c5547cbc52099a1
# Parent  81c7ec7c1b9103f5b7359b3a77d7e9f28063898a
Netbeans Library "Scala-compiler";

diff -r 81c7ec7c1b91 -r a5407aabacfe src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Fri Jan 15 19:14:51 2010 +0100
+++ b/src/Tools/jEdit/README_BUILD	Sat Jan 16 21:14:15 2010 +0100
@@ -31,6 +31,9 @@
 * Isabelle/Pure Scala components
   Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
 
+* Scala Compiler
+  Netbeans Library "Scala-compiler" = $SCALA_HOME/lib/scala-compiler.jar
+
 
 Running the application within Netbeans
 =======================================