equal
deleted
inserted
replaced
27 |
27 |
28 #latest tip version from local history |
28 #latest tip version from local history |
29 isabelle/Admin/init -t -L |
29 isabelle/Admin/init -t -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 7cdcf131699d |
32 isabelle/Admin/init -r 1d4c9fa00821 |
33 |
33 |
34 4. Run application: |
34 4. Run application: |
35 |
35 |
36 #start Prover IDE and let it build session image |
36 #start Prover IDE and let it build session image |
37 isabelle/bin/isabelle jedit -l HOL |
37 isabelle/bin/isabelle jedit -l HOL |