Compare commits

...

4 Commits

Author SHA1 Message Date
Achim D. Brucker 783f580752 Added NOPs for ghost commands in the author section.
HOL-OCL/Isabelle_DOF/master This commit looks good Details
2019-04-06 13:40:38 +01:00
Achim D. Brucker 811dc0ef22 Added basic support for http_site attribute. 2019-04-06 13:30:36 +01:00
Achim D. Brucker a36c1566d4 Fixed printing of default template. 2019-04-06 13:19:27 +01:00
Achim D. Brucker da3ffdc729 "Renamed lipics template (currently not supported).
This renaming should clearly communicate that this setup is not a (well)
supported configuration. Firstly, lipics requires a recent version of
comment.sty that conflicts with the outdated version required by Isabelle
and, moreover, the lipics classes are non-free and, hence, prevent us
from distribution a patched version that works with Isabelle.
2019-04-06 13:16:04 +01:00
2 changed files with 4 additions and 1 deletions

View File

@ -48,7 +48,7 @@ function usage()
echo " * ${BASH_REMATCH[1]}"
fi
done
echo " -t TEMPLATE (default: DEFAULT_TEMPLATE)"
echo " -t TEMPLATE (default: $DEFAULT_TEMPLATE)"
echo " Available document templates:"
for t in "$ISABELLE_HOME_USER/DOF/document-template/"*.tex; do
if [[ $t =~ root-(.*).tex$ ]]; then

View File

@ -48,6 +48,7 @@
,scholarly_paper.author.email=%
,scholarly_paper.author.affiliation=%
,scholarly_paper.author.orcid=%
,scholarly_paper.author.http_site=%
][1]{%
\protected@write\@auxout{}{\string\protect\string\DOFlipicsAuthor{#1}%
{\commandkey{scholarly_paper.author.affiliation}}
@ -64,6 +65,8 @@
\renewcommand{\DOFauthor}{}
\renewcommand{\DOFinstitute}{}
\expandafter\newcommand\csname 2authand\endcsname{}
\expandafter\newcommand\csname 3authand\endcsname{}
\expandafter\newcommand\csname 4authand\endcsname{}
\IfFileExists{preamble.tex}{\input{preamble.tex}}{}%
\begin{document}