equal
deleted
inserted
replaced
18 |
18 |
19 tar -C /usr/local -xzf Isabelle.tar.gz |
19 tar -C /usr/local -xzf Isabelle.tar.gz |
20 tar -C /usr/local -xzf polyml_x86-linux.tar.gz |
20 tar -C /usr/local -xzf polyml_x86-linux.tar.gz |
21 tar -C /usr/local -xzf HOL_x86-linux.tar.gz |
21 tar -C /usr/local -xzf HOL_x86-linux.tar.gz |
22 |
22 |
23 The install prefix given above may be changed as appropriate. By |
23 The install prefix given above may be changed as appropriate; there is |
|
24 no need to install into a system directory like /usr/local at all. By |
24 default the ML system (and other contributed packages) are expected in |
25 default the ML system (and other contributed packages) are expected in |
25 any of the following locations: |
26 any of the following locations: |
26 |
27 |
27 1) [ISABELLE_HOME]/contrib |
28 1) [ISABELLE_HOME]/contrib |
28 2) [ISABELLE_HOME]/.. |
29 2) [ISABELLE_HOME]/.. |