equal
deleted
inserted
replaced
15 Ready-to-go packages are provided for the ML compiler and runtime |
15 Ready-to-go packages are provided for the ML compiler and runtime |
16 system, the Isabelle sources, and some major object-logics. A minimal |
16 system, the Isabelle sources, and some major object-logics. A minimal |
17 site installation of Isabelle on Linux/x86 works like this: |
17 site installation of Isabelle on Linux/x86 works like this: |
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.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; there is |
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 no need to install into a system directory like /usr/local at all. By |
25 default the ML system (and other contributed packages) are expected in |
25 default the ML system (and other contributed packages) are expected in |