equal
deleted
inserted
replaced
9 directories are found in $ISABELLE/Distribution. |
9 directories are found in $ISABELLE/Distribution. |
10 |
10 |
11 To work directly on a working copy of the repository, do the following: |
11 To work directly on a working copy of the repository, do the following: |
12 |
12 |
13 Change directory to "$ISABELLE/Distribution/bin" and execute: |
13 Change directory to "$ISABELLE/Distribution/bin" and execute: |
14 ./isatool install -p ~/bin |
14 ./isabelle install -p ~/bin |
15 |
15 |
16 This will install Isabelle executables in ~/bin. Then issue in |
16 This will install Isabelle executables in ~/bin. Then issue in |
17 directory "$ISABELLE/Distribution" |
17 directory "$ISABELLE/Distribution" |
18 ln -s .. src |
18 ln -s .. src |
19 |
19 |
31 default setting) requires a compiled version of the browser JVM |
31 default setting) requires a compiled version of the browser JVM |
32 application. Invoking ``$ISABELLE/Admin/build browser'' will do the |
32 application. Invoking ``$ISABELLE/Admin/build browser'' will do the |
33 job. |
33 job. |
34 |
34 |
35 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: |
36 isatool make |
36 isabelle make |
37 |
37 |
38 (for instance, in "$ISABELLE/HOL" in order to make HOL). This |
38 (for instance, in "$ISABELLE/HOL" in order to make HOL). This |
39 will create the directory "~/isabelle" (if not already present). |
39 will create the directory "~/isabelle" (if not already present). |
40 |
40 |
41 After setting up the local copy of Isabelle, changes in the repository |
41 After setting up the local copy of Isabelle, changes in the repository |