equal
deleted
inserted
replaced
1 |
1 |
2 Requirements to build from sources |
2 Requirements to build from sources |
3 ================================== |
3 ================================== |
4 |
4 |
5 * Proper Java JRE/JDK from Sun, e.g. 1.6.0_20 |
5 * Proper Java JRE/JDK from Sun, e.g. 1.6.0_21 |
6 http://java.sun.com/javase/downloads/index.jsp |
6 http://java.sun.com/javase/downloads/index.jsp |
7 |
7 |
8 * Netbeans 6.8 |
8 * Netbeans 6.8 |
9 http://www.netbeans.org/downloads/index.html |
9 http://www.netbeans.org/downloads/index.html |
10 |
10 |
29 Netbenas Library "Rhino-JavaScript" = .../js.jar |
29 Netbenas Library "Rhino-JavaScript" = .../js.jar |
30 |
30 |
31 * Isabelle/Pure Scala components |
31 * Isabelle/Pure Scala components |
32 Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar |
32 Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar |
33 |
33 |
34 * Scala Compiler 2.8 |
34 * Scala Compiler 2.8.0.final |
35 http://www.scala-lang.org |
35 http://www.scala-lang.org |
36 Netbeans Library "Scala-compiler" = $SCALA_HOME/lib/scala-compiler.jar |
36 Netbeans Library "Scala-compiler" = $SCALA_HOME/lib/scala-compiler.jar |
37 |
37 |
38 |
38 |
39 Running the application within Netbeans |
39 Running the application within Netbeans |