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.
merged;
authorwenzelm
Tue, 28 Feb 2017 16:26:05 +0100
changeset 65068 a2522ea43216
parent 65066 c64d778a593a (current diff)
parent 65067 8bc9de2278c0 (diff)
child 65069 1995b421d8ef
merged;
--- a/src/Pure/Admin/build_release.scala	Tue Feb 28 15:17:57 2017 +0000
+++ b/src/Pure/Admin/build_release.scala	Tue Feb 28 16:26:05 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