equal
deleted
inserted
replaced
27 |
27 |
28 #latest version from local history |
28 #latest version from local history |
29 isabelle/Admin/init -u -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 479e9b17090e |
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 |