forked from Isabelle_DOF/Isabelle_DOF
sdf
This commit is contained in:
parent
abd32a802d
commit
aa1fed2440
|
@ -398,10 +398,8 @@ section\<open>Tables\<close>
|
|||
section\<open>Tests\<close>
|
||||
|
||||
ML\<open>@{term "side_by_side_figure"};
|
||||
@{typ "doc_class rexp"};
|
||||
DOF_core.SPY;
|
||||
\<close>
|
||||
|
||||
@{typ "doc_class rexp"};
|
||||
DOF_core.SPY;\<close>
|
||||
|
||||
|
||||
section\<open>DEPRECATED : An attempt to model Standard Isabelle Formal Content\<close>
|
||||
|
|
|
@ -420,6 +420,10 @@ fun check_group a = map (check_group_elem (check_level_hd (hd a))) (tl a) ;
|
|||
|
||||
section\<open>Miscelleous\<close>
|
||||
|
||||
ML\<open>
|
||||
Parse.int
|
||||
\<close>
|
||||
|
||||
subsection\<open>Layout Trimming Commands\<close>
|
||||
setup\<open> DOF_lib.define_macro \<^binding>\<open>hs\<close> "\\hspace{" "}" (K(K())) \<close>
|
||||
setup\<open> DOF_lib.define_macro \<^binding>\<open>vs\<close> "\\vspace{" "}" (K(K())) \<close>
|
||||
|
|
Reference in New Issue