1.1 --- a/src/Tools/jEdit/README_BUILD	Fri Jan 15 19:14:51 2010 +0100
     1.2 +++ b/src/Tools/jEdit/README_BUILD	Sat Jan 16 21:14:15 2010 +0100
     1.3 @@ -31,6 +31,9 @@
     1.4  * Isabelle/Pure Scala components
     1.5    Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
     1.6  
     1.7 +* Scala Compiler
     1.8 +  Netbeans Library "Scala-compiler" = $SCALA_HOME/lib/scala-compiler.jar
     1.9 +
    1.10  
    1.11  Running the application within Netbeans
    1.12  =======================================