# HG changeset patch
# User wenzelm
# Date 1754990348 -7200
# Node ID 4a77ce6d4e07056a24e5fd705bcdb554d44d9582
# Parent  2f6ce3ce27be45945197d65feb8af5b38e3c49ac
obsolete (see 5d562dd387ae);

diff -r 2f6ce3ce27be -r 4a77ce6d4e07 src/Pure/Build/build.scala
--- a/src/Pure/Build/build.scala	Mon Aug 11 22:30:06 2025 +0200
+++ b/src/Pure/Build/build.scala	Tue Aug 12 11:19:08 2025 +0200
@@ -390,7 +390,6 @@
     -g NAME      select session group NAME
     -j INT       maximum number of parallel jobs
                  (default: 1 for local build, 0 for build cluster)
-    -k KEYWORD   check theory sources for conflicts with proposed keywords
     -l           list session source files
     -n           no build -- take existing session build databases
     -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)