--- a/src/Doc/Isar_Ref/Document_Preparation.thy Tue Oct 20 23:53:40 2015 +0200
+++ b/src/Doc/Isar_Ref/Document_Preparation.thy Wed Oct 21 00:23:11 2015 +0200
@@ -109,7 +109,7 @@
@{antiquotation_def "file"} & : & \<open>antiquotation\<close> \\
@{antiquotation_def "url"} & : & \<open>antiquotation\<close> \\
@{antiquotation_def "cite"} & : & \<open>antiquotation\<close> \\
- @{command_def "print_antiquotations"}\<open>\<^sup>*\<close> & : & \<open>context \<rightarrow> \<close> \\
+ @{command_def "print_antiquotations"}\<open>\<^sup>*\<close> & : & \<open>context \<rightarrow>\<close> \\
\end{matharray}
The overall content of an Isabelle/Isar theory may alternate between