src/Doc/Isar_Ref/Document_Preparation.thy
changeset 67139 8fe0aba577af
parent 63680 6e1e8b5abbfa
child 67219 81e9804b2014
     1.1 --- a/src/Doc/Isar_Ref/Document_Preparation.thy	Tue Dec 05 15:29:37 2017 +0100
     1.2 +++ b/src/Doc/Isar_Ref/Document_Preparation.thy	Tue Dec 05 15:55:14 2017 +0100
     1.3 @@ -473,6 +473,7 @@
     1.4  
     1.5    \<^medskip>
     1.6    \begin{tabular}{ll}
     1.7 +    \<open>document\<close> & document markup commands \\
     1.8      \<open>theory\<close> & theory begin/end \\
     1.9      \<open>proof\<close> & all proof commands \\
    1.10      \<open>ML\<close> & all commands involving ML code \\