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
Fri, 11 Nov 2016 21:26:14 +0100
changeset 64499 11d1b4e3af1d
parent 64498 bb29e6849a28
child 64500 159ea1055b39
tuned;
src/Pure/Admin/build_polyml.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_polyml.scala	Fri Nov 11 21:06:15 2016 +0100
+++ b/src/Pure/Admin/build_polyml.scala	Fri Nov 11 21:26:14 2016 +0100
@@ -161,9 +161,9 @@
   Options are:
     -b EXE       other bash executable (notably for msys on Windows)
     -m ARCH      processor architecture (32=x86, 64=x86_64, default: x86)
-    -s DIR       root directory for sha1 library
+    -s DIR       sha1 sources, see https://bitbucket.org/isabelle_project/sha1
 
-  Build Poly/ML in its source ROOT directory of its sources, with additional
+  Build Poly/ML in the ROOT directory of its sources, with additional
   CONFIGURE_OPTIONS (e.g. --with-gmp).
 """,
         "b:" -> (arg => other_bash = arg),
isabelle