pierre.derathe
/
Isabelle_DOF
Archived
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF

This commit is contained in:
Burkhart Wolff 2019-07-03 11:30:24 +02:00
parent 0e7f3c4cdc 4ed22b6951
commit 6254468971
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Isa_DOF.thy
View File

@ -1688,8 +1688,8 @@ fun pretty_docitem_antiquotation_generic cid_decl ctxt ({unchecked = x, define =
val _ = check_and_mark ctxt cid_decl
({strict_checking = not x}) pos str
in
(if y then Latex.enclose_block ("\\csname isadof.label[type={"^cid_decl^"}]{") "}\\endcsname"
else Latex.enclose_block ("\\csname isadof.ref[type={"^cid_decl^"}]{") "}\\endcsname")
(if y then Latex.enclose_block ("\\csname isaDof.label\\endcsname[type={"^cid_decl^"}]{") "}"
else Latex.enclose_block ("\\csname isaDof.ref\\endcsname[type={"^cid_decl^"}]{") "}")
[Latex.text (Input.source_content src)]
end

3
examples/technical_report/TR_my_commented_isabelle/document/preamble.tex
View File

@ -16,4 +16,5 @@
\usepackage{prooftree}
\title{<TITLE>}
\author{<AUTHOR>}
\newcommand{\eg}{e.\,g.}
\newcommand{\ie}{i.\,e.}