equal
deleted
inserted
replaced
27 the main Poly/ML and ProofGeneral directories. The links should be |
27 the main Poly/ML and ProofGeneral directories. The links should be |
28 called 'polyml' and 'ProofGeneral'. |
28 called 'polyml' and 'ProofGeneral'. |
29 |
29 |
30 Building logic images with browser info generation (which is the |
30 Building logic images with browser info generation (which is the |
31 default setting) requires a compiled version of the browser JVM |
31 default setting) requires a compiled version of the browser JVM |
32 application. Change to the directory |
32 application. Invoking ``$ISABELLE/Admin/build browser'' will do the |
33 "$ISABELLE/Distribution/lib/browser" and issue make; this requires |
33 job. |
34 Java JDK 1.4 or greater. |
|
35 |
34 |
36 Now you can build images by going to corresponding folders and issuing: |
35 Now you can build images by going to corresponding folders and issuing: |
37 isatool make |
36 isatool make |
38 |
37 |
39 (for instance, in "$ISABELLE/HOL" in order to make HOL). This |
38 (for instance, in "$ISABELLE/HOL" in order to make HOL). This |