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
Thu, 05 Jan 2023 20:44:10 +0100
changeset 76919 293c8a567f71
parent 76918 19be7d89bf03
child 76920 de2e9a64d59b
tuned message;
src/Doc/System/Sessions.thy file | annotate | diff | comparison | revisions
src/Pure/Tools/build.scala file | annotate | diff | comparison | revisions 
--- a/src/Doc/System/Sessions.thy	Thu Jan 05 20:25:41 2023 +0100
+++ b/src/Doc/System/Sessions.thy	Thu Jan 05 20:44:10 2023 +0100
@@ -375,7 +375,7 @@
     -j INT       maximum number of parallel jobs (default 1)
     -k KEYWORD   check theory sources for conflicts with proposed keywords
     -l           list session source files
-    -n           no build -- test dependencies only
+    -n           no build -- take existing build databases
     -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
     -v           verbose
     -x NAME      exclude session NAME and all descendants
--- a/src/Pure/Tools/build.scala	Thu Jan 05 20:25:41 2023 +0100
+++ b/src/Pure/Tools/build.scala	Thu Jan 05 20:44:10 2023 +0100
@@ -546,7 +546,7 @@
     -j INT       maximum number of parallel jobs (default 1)
     -k KEYWORD   check theory sources for conflicts with proposed keywords
     -l           list session source files
-    -n           no build -- test dependencies only
+    -n           no build -- take existing build databases
     -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
     -v           verbose
     -x NAME      exclude session NAME and all descendants
isabelle