Improved dof_mkroot setup and minor LaTeX fixes.
This commit is contained in:
parent
341523b223
commit
a286e4b1bc
|
@ -40,7 +40,7 @@
|
||||||
,plainpages=false
|
,plainpages=false
|
||||||
} % more detailed digital TOC (aka bookmarks)
|
} % more detailed digital TOC (aka bookmarks)
|
||||||
\sloppy
|
\sloppy
|
||||||
\allowdisplaybreaks[4]
|
%\allowdisplaybreaks[4]
|
||||||
|
|
||||||
\begin{document}
|
\begin{document}
|
||||||
\selectlanguage{USenglish}%
|
\selectlanguage{USenglish}%
|
||||||
|
|
|
@ -31,9 +31,9 @@
|
||||||
\@ifclassloaded{llncs}%
|
\@ifclassloaded{llncs}%
|
||||||
{}%
|
{}%
|
||||||
{%
|
{%
|
||||||
\RequirePackage{amsthm}
|
|
||||||
\@ifclassloaded{scrartcl}%
|
\@ifclassloaded{scrartcl}%
|
||||||
{%
|
{%
|
||||||
|
\RequirePackage{amsthm}
|
||||||
\newcommand{\institute}[1]{}%
|
\newcommand{\institute}[1]{}%
|
||||||
\newcommand{\inst}[1]{}%
|
\newcommand{\inst}[1]{}%
|
||||||
\newcommand{\orcidID}[1]{}%
|
\newcommand{\orcidID}[1]{}%
|
||||||
|
@ -42,6 +42,7 @@
|
||||||
{%
|
{%
|
||||||
\@ifclassloaded{lipics-v2021}%
|
\@ifclassloaded{lipics-v2021}%
|
||||||
{%
|
{%
|
||||||
|
\RequirePackage{amsthm}
|
||||||
\newcommand{\institute}[1]{}%
|
\newcommand{\institute}[1]{}%
|
||||||
\newcommand{\inst}[1]{}%
|
\newcommand{\inst}[1]{}%
|
||||||
\newcommand{\orcidID}[1]{}%
|
\newcommand{\orcidID}[1]{}%
|
||||||
|
@ -51,6 +52,7 @@
|
||||||
{%
|
{%
|
||||||
\@ifclassloaded{eptcs}%
|
\@ifclassloaded{eptcs}%
|
||||||
{%
|
{%
|
||||||
|
\RequirePackage{amsthm}
|
||||||
\newcommand{\inst}[1]{}%
|
\newcommand{\inst}[1]{}%
|
||||||
\newcommand{\orcidID}[1]{}%
|
\newcommand{\orcidID}[1]{}%
|
||||||
}%
|
}%
|
||||||
|
|
|
@ -48,6 +48,7 @@ object DOF {
|
||||||
val version = "Unreleased"
|
val version = "Unreleased"
|
||||||
|
|
||||||
val session = "Isabelle_DOF"
|
val session = "Isabelle_DOF"
|
||||||
|
val session_ontologies = "Isabelle_DOF-Ontologies"
|
||||||
|
|
||||||
val latest_version = "1.3.0"
|
val latest_version = "1.3.0"
|
||||||
val latest_isabelle = "Isabelle2021-1"
|
val latest_isabelle = "Isabelle2021-1"
|
||||||
|
|
|
@ -72,7 +72,7 @@ object DOF_Mkroot
|
||||||
progress.echo_if(!quiet, " creating " + root_path)
|
progress.echo_if(!quiet, " creating " + root_path)
|
||||||
|
|
||||||
File.write(root_path,
|
File.write(root_path,
|
||||||
"session " + Mkroot.root_name(name) + " = " + Mkroot.root_name(DOF.session) + """ +
|
"session " + Mkroot.root_name(name) + " = " + Mkroot.root_name(DOF.session_ontologies) + """ +
|
||||||
options [document = pdf, document_output = "output", document_build = dof]
|
options [document = pdf, document_output = "output", document_build = dof]
|
||||||
(*theories [document = false]
|
(*theories [document = false]
|
||||||
A
|
A
|
||||||
|
@ -86,8 +86,10 @@ object DOF_Mkroot
|
||||||
val thy = session_dir + Path.explode(name + ".thy")
|
val thy = session_dir + Path.explode(name + ".thy")
|
||||||
progress.echo_if(!quiet, " creating " + thy)
|
progress.echo_if(!quiet, " creating " + thy)
|
||||||
File.write(thy,
|
File.write(thy,
|
||||||
"theory\n " + name +
|
"theory\n \"" + name + "\"" +
|
||||||
"\nimports\n " + ontologies.map("Isabelle_DOF." + _).mkString("\n ") + """
|
"\nimports\n " +
|
||||||
|
"\"Isabelle_DOF-Ontologies.document_templates\"\n " +
|
||||||
|
ontologies.map("Isabelle_DOF." + _).mkString("\n ") + """
|
||||||
begin
|
begin
|
||||||
|
|
||||||
list_templates
|
list_templates
|
||||||
|
|
Loading…
Reference in New Issue