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 message;
authorwenzelm
Tue, 28 Feb 2017 12:42:50 +0100
changeset 65067 8bc9de2278c0
parent 65063 862157c7e78f
child 65068 a2522ea43216
tuned message;
src/Pure/Admin/build_release.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_release.scala	Tue Feb 28 12:04:23 2017 +0100
+++ b/src/Pure/Admin/build_release.scala	Tue Feb 28 12:42:50 2017 +0100
@@ -212,8 +212,7 @@
     -W WEBSITE   produce minimal website in given directory
     -j INT       maximum number of parallel jobs (default 1)
     -l           build library
-    -p NAMES     platform families (comma separated list, default: """ +
-      default_platform_families.mkString(",") + """)
+    -p NAMES     platform families (default: """ + default_platform_families.mkString(",") + """)
     -r REV       Mercurial changeset id (default: RELEASE or tip)
 
   Build Isabelle release in base directory, using the local repository clone.
isabelle