Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Wed, 31 Mar 2021 11:21:08 +0200
changeset 73516 ef5440f4fcc4
parent 73515 ae5fa3ca41b9
child 73517 d3f2038198ae
tuned;
README_REPOSITORY file | annotate | diff | comparison | revisions 
--- 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