equal
deleted
inserted
replaced
19 There are some minor adaptions to be made of the Isabelle distribution |
19 There are some minor adaptions to be made of the Isabelle distribution |
20 to your system environment. Simply type: |
20 to your system environment. Simply type: |
21 |
21 |
22 cd [ISABELLE_HOME] |
22 cd [ISABELLE_HOME] |
23 ./configure |
23 ./configure |
|
24 |
|
25 This does not store any references to [ISABELLE_HOME]. You may safely |
|
26 move the system later, without running ./configure again. |
24 |
27 |
25 |
28 |
26 ML system settings and compilation |
29 ML system settings and compilation |
27 ---------------------------------- |
30 ---------------------------------- |
28 |
31 |