
diff -r 82283d52b4d6 -r 8fe0aba577af src/Doc/Isar_Ref/Document_Preparation.thy
--- a/src/Doc/Isar_Ref/Document_Preparation.thy	Tue Dec 05 15:29:37 2017 +0100
+++ b/src/Doc/Isar_Ref/Document_Preparation.thy	Tue Dec 05 15:55:14 2017 +0100
@@ -473,6 +473,7 @@
 
   \<^medskip>
   \begin{tabular}{ll}
+    \<open>document\<close> & document markup commands \\
     \<open>theory\<close> & theory begin/end \\
     \<open>proof\<close> & all proof commands \\
     \<open>ML\<close> & all commands involving ML code \\




