equal
deleted
inserted
replaced
16 |
16 |
17 hg clone https://isabelle.in.tum.de/repos/isabelle |
17 hg clone https://isabelle.in.tum.de/repos/isabelle |
18 |
18 |
19 cd isabelle |
19 cd isabelle |
20 |
20 |
21 ./bin/isabelle components -I |
21 ./bin/isabelle setup |
22 |
22 |
23 ./bin/isabelle components -a |
23 ./bin/isabelle jedit -l HOL #start Prover IDE and let it build session image |
24 |
24 |
25 ./bin/isabelle jedit -l HOL |
25 ./bin/isabelle build -b HOL #alternative: build session image manually |
26 |
|
27 ./bin/isabelle build -b HOL #optional: build session image manually |
|
28 |
26 |
29 3. Update repository to particular version (bash shell commands): |
27 3. Update repository to particular version (bash shell commands): |
30 |
28 |
31 cd isabelle |
29 cd isabelle |
32 |
30 |
33 hg pull https://isabelle.in.tum.de/repos/isabelle |
31 ./bin/isabelle -r VERSION #for VERSION e.g. "tip", "Isabelle2021", "9e967acf8f0f" |
34 |
|
35 hg update -r VERSION #for VERSION e.g. "tip", "Isabelle2021", "9e967acf8f0f" |
|
36 |
|
37 ./bin/isabelle components -a |
|
38 |
|
39 ./bin/isabelle jedit -l HOL |
|
40 |
32 |
41 4. Build documentation (bash shell commands): |
33 4. Build documentation (bash shell commands): |
42 |
34 |
43 ./bin/isabelle build_doc -a |
35 ./bin/isabelle build_doc -a |
44 |
36 |