--- a/src/Pure/Isar/outer_syntax.scala Thu Nov 26 23:23:19 2020 +0100
+++ b/src/Pure/Isar/outer_syntax.scala Fri Nov 27 11:41:43 2020 +0100
@@ -133,8 +133,11 @@
/* load commands */
- def load_command(name: String): Option[List[String]] = keywords.load_commands.get(name)
- def load_commands_in(text: String): Boolean = keywords.load_commands_in(text)
+ def load_command(name: String): Option[List[String]] =
+ keywords.load_commands.get(name)
+
+ def has_load_commands(text: String): Boolean =
+ keywords.load_commands.exists({ case (cmd, _) => text.containsSlice(cmd) })
/* language context */