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.
Netbeans Library "Scala-compiler";
authorwenzelm
Sat, 16 Jan 2010 21:14:15 +0100
changeset 34919 a5407aabacfe
parent 34918 81c7ec7c1b91
child 34920 3343670206eb
child 34933 0652d00305be
child 34948 2d5f2a9f7601
child 34950 1f5e55eb821c
Netbeans Library "Scala-compiler";
src/Tools/jEdit/README_BUILD file | annotate | diff | comparison | revisions 
--- 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
 =======================================
isabelle