Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
README_REPOSITORY
changeset 73516 ef5440f4fcc4
parent 73514 01acd0eb29ce
child 73584 1d4c9fa00821 
--- a/README_REPOSITORY	Wed Mar 31 11:17:45 2021 +0200
+++ b/README_REPOSITORY	Wed Mar 31 11:21:08 2021 +0200
@@ -33,7 +33,7 @@
     #start Prover IDE and let it build session image
     isabelle/bin/isabelle jedit -l HOL
 
-    #alternative: build session image manually
+    #alternative: build session image separately
     isabelle/bin/isabelle build -b HOL
 
 5. Build documentation (bash shell commands):
isabelle