equal
deleted
inserted
replaced
1 Requirements for instantaneous build from repository |
|
2 ==================================================== |
|
3 |
|
4 * Java JDK 1.7 from Oracle |
|
5 http://www.oracle.com/technetwork/java/javase/downloads/index.html |
|
6 |
|
7 (experimental support for JDK/OpenJDK 1.7) |
|
8 |
|
9 * Scala 2.9.2 |
|
10 http://www.scala-lang.org |
|
11 |
|
12 (experimental support for Scala 2.10.x milestones) |
|
13 |
|
14 Note that the official directory layout of JDK and Scala is required! |
|
15 |
|
16 * Auxiliary jedit_build component according to Admin/components/main |
|
17 |
|
18 |
|
19 Build and run |
|
20 ============= |
|
21 |
|
22 isabelle jedit -l HOL Test.thy |
|
23 |
|