equal
deleted
inserted
replaced
26 |
26 |
27 3. Update repository to particular versions (bash shell commands): |
27 3. Update repository to particular versions (bash shell commands): |
28 |
28 |
29 cd isabelle |
29 cd isabelle |
30 |
30 |
31 #current remote version |
31 #remote tip version |
32 ./bin/isabelle setup -u |
32 ./bin/isabelle setup -u |
33 |
33 |
34 #explicit changeset id or tag (e.g. "Isabelle2021") |
34 #explicit changeset id or tag (e.g. "Isabelle2021") |
35 ./bin/isabelle setup -r 7cdcf131699d |
35 ./bin/isabelle setup -r 7cdcf131699d |
36 |
36 |