src/Pure/Thy/document_antiquotations.ML

--- a/src/Pure/Thy/document_antiquotations.ML	Wed May 27 13:57:13 2020 +0200
+++ b/src/Pure/Thy/document_antiquotations.ML	Wed May 27 14:27:22 2020 +0200
@@ -260,6 +260,13 @@
       in #1 (Input.source_content text) end));
 
 
+(* bash functions *)
+
+val _ = Theory.setup
+  (Thy_Output.antiquotation_verbatim_embedded \<^binding>\<open>bash_function\<close>
+    (Scan.lift Args.embedded_position) Isabelle_System.check_bash_function);
+
+
 (* system options *)
 
 val _ = Theory.setup