--- a/src/Pure/Isar/bundle.ML Sat Oct 05 14:58:36 2024 +0200
+++ b/src/Pure/Isar/bundle.ML Sat Oct 05 15:18:49 2024 +0200
@@ -55,6 +55,11 @@
fun check ctxt = #1 o Name_Space.check (Context.Proof ctxt) (get_all ctxt);
+val _ = Theory.setup
+ (ML_Antiquotation.inline_embedded \<^binding>\<open>bundle\<close>
+ (Args.context -- Scan.lift Parse.embedded_position >> (fn (ctxt, (name, pos)) =>
+ ML_Syntax.print_string (check ctxt (name, pos)))));
+
fun check_name ctxt ((b: bool, pos), arg) =
(Context_Position.report ctxt pos Markup.quasi_keyword; (b, check ctxt arg));