nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Introduced \isabelleversion.

This commit is contained in:
Achim D. Brucker 2019-07-28 20:46:20 +01:00
parent 94fdf75627
commit c8abf69d8d
2 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
View File

@ -130,8 +130,10 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
\textbf{SPDX-License-Identifier:} BSD-2-Clause
}
\lowertitleback{
{\large This manual describes \isadof version Unreleased/2019.}
\lowertitleback{%
{\large This manual describes \isadof version \isadofversion. Previous releases
as well as latest development version are available at
\url{https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF}.}
\paragraph*{Contributors.} We would like to thank the following contributors to \isadof
(in alphabetical order): Idir Ait-Sadoune, Paolo Crisafulli, and Chantal Keller.

1
src/DOF/latex/DOF-core.sty
View File

@ -25,6 +25,7 @@
\RequirePackage{fp}
\newcommand{\isadof}{Isabelle/DOF\xspace}
\newcommand{\isadofversion}{Unreleased/2019\xspace}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% begin: newcommand wrapper