forked from Isabelle_DOF/Isabelle_DOF
Fixed oversight during merge and removed patches that are no longer needed.
This commit is contained in:
parent
62726920a7
commit
ef89a95307
|
@ -2094,17 +2094,6 @@ end
|
|||
end
|
||||
\<close>
|
||||
|
||||
|
||||
ML\<open> (* Setting in thy_output.ML a parser for the syntactic handling of the meta-informations of
|
||||
text elements - so text*[m<meta-info>]\<open> ... dfgdfg .... \<close> *)
|
||||
|
||||
val _ = Thy_Output.set_meta_args_parser
|
||||
(fn thy => (Scan.optional (Document_Source.improper
|
||||
|-- ODL_Command_Parser.attributes
|
||||
>> ODL_LTX_Converter.meta_args_2_string thy) "")); \<close>
|
||||
|
||||
|
||||
|
||||
|
||||
section\<open> Syntax for Ontological Antiquotations (the '' View'' Part II) \<close>
|
||||
|
||||
|
|
Reference in New Issue