equal
deleted
inserted
replaced
20 3. Switch repository to particular version (bash shell commands): |
20 3. Switch repository to particular version (bash shell commands): |
21 |
21 |
22 #latest official release |
22 #latest official release |
23 isabelle/Admin/init -R |
23 isabelle/Admin/init -R |
24 |
24 |
25 #latest tip version from repository server |
25 #latest version from repository server |
26 isabelle/Admin/init -t |
26 isabelle/Admin/init -u |
27 |
27 |
28 #latest tip version from local history |
28 #latest version from local history |
29 isabelle/Admin/init -t -L |
29 isabelle/Admin/init -u -L |
30 |
30 |
31 #explicit changeset id or tag (e.g. "Isabelle2021") |
31 #explicit changeset id or tag (e.g. "Isabelle2021") |
32 isabelle/Admin/init -r 1d4c9fa00821 |
32 isabelle/Admin/init -r 1d4c9fa00821 |
33 |
33 |
34 4. Run application: |
34 4. Run application: |