changeset 60286 | 410115884a92 |
parent 60270 | a147272b16f9 |
child 61421 | e0825405d398 |
--- a/src/Doc/Isar_Ref/Document_Preparation.thy Sat May 16 12:05:52 2015 +0200 +++ b/src/Doc/Isar_Ref/Document_Preparation.thy Sun May 17 21:44:34 2015 +0200 @@ -81,7 +81,7 @@ \<close> -section \<open>Document Antiquotations \label{sec:antiq}\<close> +section \<open>Document antiquotations \label{sec:antiq}\<close> text \<open> \begin{matharray}{rcl}