10 |
10 |
11 (b) macOS: e.g. "brew install mercurial" or download from https://www.mercurial-scm.org |
11 (b) macOS: e.g. "brew install mercurial" or download from https://www.mercurial-scm.org |
12 |
12 |
13 (c) Windows: use Cygwin64 with packages "curl" and "mercurial" (via Cygwin setup-x86_64.exe) |
13 (c) Windows: use Cygwin64 with packages "curl" and "mercurial" (via Cygwin setup-x86_64.exe) |
14 |
14 |
15 2. Initial repository clone (bash shell commands): |
15 2. Setup repository clone (bash shell commands): |
16 |
16 |
17 hg clone https://isabelle.in.tum.de/repos/isabelle |
17 hg clone https://isabelle.in.tum.de/repos/isabelle |
18 |
18 isabelle/Admin/setup |
19 cd isabelle |
19 |
20 |
20 #optional: start Prover IDE and let it build session image |
21 ./bin/isabelle setup |
21 isabelle/bin/isabelle jedit -l HOL |
22 |
22 |
23 ./bin/isabelle jedit -l HOL #start Prover IDE and let it build session image |
23 #optional: build session image manually |
24 |
24 isabelle/bin/isabelle build -b HOL |
25 ./bin/isabelle build -b HOL #alternative: build session image manually |
|
26 |
25 |
27 3. Update repository to particular versions (bash shell commands): |
26 3. Update repository to particular versions (bash shell commands): |
28 |
27 |
29 cd isabelle |
|
30 |
|
31 #remote tip version |
28 #remote tip version |
32 ./bin/isabelle setup -u |
29 isabelle/Admin/setup -u |
33 |
30 |
34 #explicit changeset id or tag (e.g. "Isabelle2021") |
31 #explicit changeset id or tag (e.g. "Isabelle2021") |
35 ./bin/isabelle setup -r 7cdcf131699d |
32 isabelle/Admin/setup -r 7cdcf131699d |
36 |
33 |
37 #current official release |
34 #current official release |
38 ./bin/isabelle setup -R |
35 isabelle/Admin/setup -R |
39 |
36 |
40 |
37 |
41 4. Build documentation (bash shell commands): |
38 4. Build documentation (bash shell commands): |
42 |
39 |
43 ./bin/isabelle build_doc -a |
40 isabelle/bin/isabelle build_doc -a |
44 |
41 |
45 ./bin/isabelle doc system |
42 isabelle/bin/isabelle doc system |
46 |
43 |
47 |
44 |
48 Introduction |
45 Introduction |
49 ------------ |
46 ------------ |
50 |
47 |