forked from Isabelle_DOF/Isabelle_DOF
Updated title.
This commit is contained in:
parent
36f7ebc4bf
commit
78dbffe763
|
@ -7,7 +7,8 @@ open_monitor*[this::report]
|
||||||
|
|
||||||
(*>*)
|
(*>*)
|
||||||
|
|
||||||
title*[tit::title]\<open>The Isabelle/DOF User and Implementation Manual\<close>
|
title*[title::title]\<open>Isabelle/DOF\<close>
|
||||||
|
subtitle*[subtitle::subtitle]\<open>User and Implementation Manual\<close>
|
||||||
text*[adb:: author,
|
text*[adb:: author,
|
||||||
email="\<open>a.brucker@exeter.ac.uk\<close>",
|
email="\<open>a.brucker@exeter.ac.uk\<close>",
|
||||||
orcid="\<open>0000-0002-6355-1200\<close>",
|
orcid="\<open>0000-0002-6355-1200\<close>",
|
||||||
|
|
Reference in New Issue