forked from Isabelle_DOF/Isabelle_DOF
More robust default
This commit is contained in:
parent
47d95c467e
commit
1a122b1a87
|
@ -33,6 +33,7 @@ package isabelle.dof
|
||||||
|
|
||||||
object DOF {
|
object DOF {
|
||||||
val isabelle_version = "2022"
|
val isabelle_version = "2022"
|
||||||
|
val isabelle_url = "https://isabelle.in.tum.de/website-Isabelle2022"
|
||||||
|
|
||||||
val version = "Unreleased"
|
val version = "Unreleased"
|
||||||
// Isabelle/DOF version: "Unreleased" for development, semantic version for releases
|
// Isabelle/DOF version: "Unreleased" for development, semantic version for releases
|
||||||
|
|
|
@ -83,7 +83,7 @@ object DOF_Document_Build
|
||||||
|
|
||||||
// create dof-config.sty
|
// create dof-config.sty
|
||||||
File.write(directory.doc_dir + Path.explode("dof-config.sty"), """
|
File.write(directory.doc_dir + Path.explode("dof-config.sty"), """
|
||||||
\newcommand{\isabelleurl}{https://isabelle.in.tum.de/website-Isabelle2022/""" + DOF.isabelle_version + """}
|
\newcommand{\isabelleurl}{""" + DOF.isabelle_url + """}
|
||||||
\newcommand{\dofurl}{""" + DOF.url + """}
|
\newcommand{\dofurl}{""" + DOF.url + """}
|
||||||
\newcommand{\dof@isabelleversion}{""" + DOF.isabelle_version + """}
|
\newcommand{\dof@isabelleversion}{""" + DOF.isabelle_version + """}
|
||||||
\newcommand{\isabellefullversion}{""" + DOF.isabelle_version + """\xspace}
|
\newcommand{\isabellefullversion}{""" + DOF.isabelle_version + """\xspace}
|
||||||
|
|
Loading…
Reference in New Issue