From 9f5473505eeeeb5cc53c29056bea75779f31c775 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Wed, 1 Mar 2023 06:32:23 +0000 Subject: [PATCH] Updated authorarchive. --- Isabelle_DOF-Example-Scholarly_Paper/ROOT | 1 - .../document/authorarchive.sty | 96 ++++++++++-------- .../document/vector_iD_icon.pdf | Bin 1197 -> 0 bytes 3 files changed, 51 insertions(+), 46 deletions(-) delete mode 100644 Isabelle_DOF-Example-Scholarly_Paper/document/vector_iD_icon.pdf diff --git a/Isabelle_DOF-Example-Scholarly_Paper/ROOT b/Isabelle_DOF-Example-Scholarly_Paper/ROOT index 67c99a27..69406b96 100644 --- a/Isabelle_DOF-Example-Scholarly_Paper/ROOT +++ b/Isabelle_DOF-Example-Scholarly_Paper/ROOT @@ -7,7 +7,6 @@ session "Isabelle_DOF-Example-Scholarly_Paper" (AFP) = "Isabelle_DOF" + "authorarchive.sty" "preamble.tex" "lstisadof.sty" - "vector_iD_icon.pdf" "figures/isabelle-architecture.pdf" "figures/Dogfood-Intro.png" "figures/InteractiveMathSheet.png" diff --git a/Isabelle_DOF-Example-Scholarly_Paper/document/authorarchive.sty b/Isabelle_DOF-Example-Scholarly_Paper/document/authorarchive.sty index 16328d39..1f95f825 100644 --- a/Isabelle_DOF-Example-Scholarly_Paper/document/authorarchive.sty +++ b/Isabelle_DOF-Example-Scholarly_Paper/document/authorarchive.sty @@ -1,4 +1,4 @@ -%% Copyright (C) 2008-2019 Achim D. Brucker, https://www.brucker.ch +%% Copyright (C) 2008-2023 Achim D. Brucker, https://www.brucker.ch %% %% License: %% This program can be redistributed and/or modified under the terms @@ -11,21 +11,22 @@ %% SPDX-License-Identifier: LPPL-1.3c+ OR BSD-2-Clause \NeedsTeXFormat{LaTeX2e}\relax \ProvidesPackage{authorarchive} - [0000/00/00 Unreleased v1.1.1+% + [2023/02/10 v1.3.0 Self-archiving information for scientific publications.] % \PassOptionsToPackage{hyphens}{url} % \RequirePackage{ifthen} \RequirePackage[inline]{enumitem} -\RequirePackage{graphicx} +\RequirePackage{orcidlink} \RequirePackage{eso-pic} \RequirePackage{intopdf} \RequirePackage{kvoptions} \RequirePackage{hyperref} \RequirePackage{calc} \RequirePackage{qrcode} -\RequirePackage{hvlogos} +\RequirePackage{etoolbox} +\newrobustcmd\BibTeX{Bib\TeX} % %Better url breaking \g@addto@macro{\UrlBreaks}{\UrlOrds} @@ -80,31 +81,51 @@ } \ProcessKeyvalOptions* -% Provide command for dynamic configuration seutp -\def\authorsetup{\kvsetkeys{AA}} +\newcommand{\AA@defIncludeFiles}{ + \def\AA@bibBibTeX{\AA@bibtexdir/\AA@key.bib} + \def\AA@bibBibTeXLong{\AA@bibtexdir/\AA@key.bibtex} + \def\AA@bibWord{\AA@bibtexdir/\AA@key.word.xml} + \def\AA@bibEndnote{\AA@bibtexdir/\AA@key.enw} + \def\AA@bibRIS{\AA@bibtexdir/\AA@key.ris} +} +\AA@defIncludeFiles + +\newboolean{AA@bibExists} +\setboolean{AA@bibExists}{false} +\newcommand{\AA@defIncludeSwitches}{ + \IfFileExists{\AA@bibBibTeX}{\setboolean{AA@bibExists}{true}}{} + \IfFileExists{\AA@bibBibTeXLong}{\setboolean{AA@bibExists}{true}}{} + \IfFileExists{\AA@bibWord}{\setboolean{AA@bibExists}{true}}{} + \IfFileExists{\AA@bibEndnote}{\setboolean{AA@bibExists}{true}}{} + \IfFileExists{\AA@bibRIS}{\setboolean{AA@bibExists}{true}}{} +} +\AA@defIncludeSwitches + + +% Provide command for dynamic configuration setup +% \def\authorsetup{\kvsetkeys{AA}} +\newcommand{\authorsetup}[1]{% + \kvsetkeys{AA}{#1} + \AA@defIncludeFiles + \AA@defIncludeSwitches +} % Load local configuration \InputIfFileExists{authorarchive.config}{}{} +% define proxy command for setting PDF attributes +\ExplSyntaxOn +\@ifundefined{pdfmanagement_add:nnn}{% + \newcommand{\AA@pdfpagesattribute}[2]{\pdfpagesattr{/#1 #2}}% + }{% + \newcommand{\AA@pdfpagesattribute}[2]{\pdfmanagement_add:nnn{Pages}{#1}{#2}}% + }% +\ExplSyntaxOff \newlength\AA@x \newlength\AA@y \newlength\AA@width -\def\AA@bibBibTeX{\AA@bibtexdir/\AA@key.bib} -\def\AA@bibBibTeXLong{\AA@bibtexdir/\AA@key.bibtex} -\def\AA@bibWord{\AA@bibtexdir/\AA@key.word.xml} -\def\AA@bibEndnote{\AA@bibtexdir/\AA@key.enw} -\def\AA@bibRIS{\AA@bibtexdir/\AA@key.ris} - -\newboolean{AA@bibExists} -\setboolean{AA@bibExists}{false} -\IfFileExists{\AA@bibBibTeX}{\setboolean{AA@bibExists}{true}}{} -\IfFileExists{\AA@bibBibTeXLong}{\setboolean{AA@bibExists}{true}}{} -\IfFileExists{\AA@bibWord}{\setboolean{AA@bibExists}{true}}{} -\IfFileExists{\AA@bibEndnote}{\setboolean{AA@bibExists}{true}}{} -\IfFileExists{\AA@bibRIS}{\setboolean{AA@bibExists}{true}}{} - \setlength\AA@x{1in+\hoffset+\oddsidemargin} \newcommand{\authorcrfont}{\footnotesize} @@ -148,8 +169,7 @@ %%%% LNCS \ifAA@LNCS% \ifAA@orcidicon% - \renewcommand{\orcidID}[1]{\href{https://orcid.org/#1}{% - \textsuperscript{\,\includegraphics[height=2\fontcharht\font`A]{vector_iD_icon}}}} + \renewcommand{\orcidID}[1]{\orcidlink{#1}} \else\relax\fi% % \ifthenelse{\equal{\AA@publisher}{UNKNOWN PUBLISHER}}{% @@ -157,23 +177,11 @@ }{} \renewcommand{\authorcrfont}{\scriptsize} \@ifclasswith{llncs}{a4paper}{% - \ExplSyntaxOn - \@ifundefined{pdfmanagement_add:nnn}{% - \pdfpagesattr{/CropBox [92 114 523 780]}% - }{% - \pdfmanagement_add:nnn {Pages}{CropBox}{[92~114~523~780]} - }% - \ExplSyntaxOff + \AA@pdfpagesattribute{CropBox}{[92 114 523 780]}% \renewcommand{\authorat}[1]{\put(\LenToUnit{\AA@x},40){#1}}% }{% - \ExplSyntaxOn - \@ifundefined{pdfmanagement_add:nnn}{% - \pdfpagesattr{/CropBox [92 65 523 731]}% LNCS page: 152x235 mm - }{% - \pdfmanagement_add:nnn {Pages}{CropBox}{[92~62~523~731]} - }% - \ExplSyntaxOff - \renewcommand{\authorat}[1]{\put(\LenToUnit{\AA@x},23){#1}} + \AA@pdfpagesattribute{CropBox}{[92 65 523 731]}% + \renewcommand{\authorat}[1]{\put(\LenToUnit{\AA@x},23){#1}}% } \setlength{\AA@width}{\textwidth} \setcounter{tocdepth}{2} @@ -186,7 +194,7 @@ }{} \renewcommand{\authorat}[1]{\put(\LenToUnit{\AA@x},35){#1}} \renewcommand{\authorcrfont}{\scriptsize} - \pdfpagesattr{/CropBox [70 65 526.378 748.15]} % TODO + \AA@pdfpagesattribute{CropBox}{[70 65 526.378 748.15]} \setlength{\AA@width}{\textwidth} \setcounter{tocdepth}{2} \fi @@ -218,8 +226,6 @@ draft = false, bookmarksopen = true, bookmarksnumbered= true, - pdfauthor = {\@author}, - pdftitle = {\@title}, } \@ifpackageloaded{totpages}{% @@ -305,26 +311,26 @@ \hfill \begin{itemize*}[label={}, itemjoin={,}] \IfFileExists{\AA@bibBibTeX}{% - \item \attachandlink{\AA@bibBibTeX}[application/x-bibtex]{BibTeX entry of this paper}{\BibTeX}% + \item \expanded{\attachandlink[\AA@key.bib]{\AA@bibBibTeX}[application/x-bibtex]{BibTeX entry of this paper}{\BibTeX}}% }{% \IfFileExists{\AA@bibBibTeXLong}{% - \item \attachandlink[\AA@key.bib]{\AA@bibBibTeXLong}[application/x-bibtex]{BibTeX entry of this paper}{\BibTeX}% + \item \expanded{\attachandlink[\AA@key.bib]{\AA@bibBibTeXLong}[application/x-bibtex]{BibTeX entry of this paper}{\BibTeX}}% }{% \typeout{No file \AA@bibBibTeX{} (and no \AA@bibBibTeXLong) found. Not embedded reference in BibTeX format.}% }% }% \IfFileExists{\AA@bibWord}{% - \item \attachandlink{\AA@bibWord}[application/xml]{XML entry of this paper (e.g., for Word 2007 and later)}{Word}% + \item \expanded{\attachandlink[\AA@key.word.xml]{\AA@bibWord}[application/xml]{XML entry of this paper (e.g., for Word 2007 and later)}{Word}}% }{% \typeout{No file \AA@bibWord{} found. Not embedded reference for Word 2007 and later.}% }% \IfFileExists{\AA@bibEndnote}{% - \item \attachandlink{\AA@bibEndnote}[application/x-endnote-refer]{Endnote entry of this paper}{EndNote}% + \item \expanded{\attachandlink[\AA@key.enw]{\AA@bibEndnote}[application/x-endnote-refer]{Endnote entry of this paper}{EndNote}}% }{% \typeout{No file \AA@bibEndnote{} found. Not embedded reference in Endnote format.}% }% \IfFileExists{\AA@bibRIS}{% - \item \attachandlink{\AA@bibRIS}[application/x-research-info-systems]{RIS entry of this paper}{RIS}% + \item \expanded{\attachandlink[\AA@key.ris]{\AA@bibRIS}[application/x-research-info-systems]{RIS entry of this paper}{RIS}}% }{% \typeout{No file \AA@bibRIS{} found. Not embedded reference in RIS format.}% }% diff --git a/Isabelle_DOF-Example-Scholarly_Paper/document/vector_iD_icon.pdf b/Isabelle_DOF-Example-Scholarly_Paper/document/vector_iD_icon.pdf deleted file mode 100644 index 59824b11a1e44519ae76846929b25a0ad290e342..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 1197 zcmZuxYe*D99PdbaEIlBsAS&iVSK5&~a}T|fQ|#{avX|ExQJB@bH=b+f?zKA?r$$97 z7@c7cxQdJ(5QwG`1wANwQIMpCMS&IB<4bQU>qAk^?0I%n!|v?PZ~pUt{C@vkqt8<` z4`tanThQ`)4 zx0?0_msapUj-uE3JwG2_xf?ID6!whmIJPjY(kf#M@ya$++H=y zd!t6Wd1$aHe1At<#lABew)Q=$NH0A3Bz~dmW%aT6Nv)aAT-8ZLiN#42_ z*268t`M7G=<#o-G;~mFNbY={4lXJnRSX%WK0J@IE1kfe|3xuTN01Oz6?1_)Bm=5?o3Y zlu-x*qTRK{{n_VAy|GBn32D0W01QlDS7%p(zfs zQylnIB@hv5*Jp@=q$&VqAzK!LAft+qa4t{jrD#wU!c~%}WhrVfGgA-brr!jS6xqY1 z$?)WwA+kfOIU736R)|ax&4Dm8C1y@a%tX>|fe0ZbsC#45XhUNBkua*_N)7@$2Zsm9 zw%IH;PzjP)j+xTK29Sp_8>FrE7iP8mYX{MP>=32*ud_LJ`#+ci(pE^?5mk^vSk?b3 qrBWTHDKjzrib4P@Jkc@5a-{+o_qv!G5mcgA=&)sTMq^<~5%(KmDSOxe