# HG changeset patch
# User wenzelm
# Date 1674124921 -3600
# Node ID f016a8d99fc9bccea37cc2e0f110d098d6d732bc
# Parent  2ac1b7f4f3e4f41ec685befb5937239fb06872f4
more complete index;
adhoc page break;

diff -r 2ac1b7f4f3e4 -r f016a8d99fc9 src/Doc/Isar_Ref/Document_Preparation.thy
--- a/src/Doc/Isar_Ref/Document_Preparation.thy	Thu Jan 19 11:25:48 2023 +0100
+++ b/src/Doc/Isar_Ref/Document_Preparation.thy	Thu Jan 19 11:42:01 2023 +0100
@@ -117,6 +117,9 @@
     @{antiquotation_def ML_functor} & : & \<open>antiquotation\<close> \\
     @{antiquotation_def ML_functor_def} & : & \<open>antiquotation\<close> \\
     @{antiquotation_def ML_functor_ref} & : & \<open>antiquotation\<close> \\
+  \end{matharray}
+
+  \begin{matharray}{rcl}
     @{antiquotation_def emph} & : & \<open>antiquotation\<close> \\
     @{antiquotation_def bold} & : & \<open>antiquotation\<close> \\
     @{antiquotation_def verbatim} & : & \<open>antiquotation\<close> \\
@@ -126,6 +129,9 @@
     @{antiquotation_def "file"} & : & \<open>antiquotation\<close> \\
     @{antiquotation_def "url"} & : & \<open>antiquotation\<close> \\
     @{antiquotation_def "cite"} & : & \<open>antiquotation\<close> \\
+    @{antiquotation_def "nocite"} & : & \<open>antiquotation\<close> \\
+    @{antiquotation_def "citet"} & : & \<open>antiquotation\<close> \\
+    @{antiquotation_def "citep"} & : & \<open>antiquotation\<close> \\
     @{command_def "print_antiquotations"}\<open>\<^sup>*\<close> & : & \<open>context \<rightarrow>\<close> \\
   \end{matharray}