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

Renamed base url to artifact url.

This commit is contained in:
Achim D. Brucker 2019-08-12 07:51:22 +01:00
parent 4ae8b281f5
commit f71706e67d
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.config
View File

@ -1,6 +1,6 @@
DOF_VERSION="Unreleased"
ISABELLE_VERSION="Isabelle2019: June 2019"
ISABELLE_URL="https://isabelle.in.tum.de/website-Isabelle2019/"
DOF_BASE_URL="https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF"
DOF_ARTIFACT_URL="https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF"
AFP_DATE="afp-2019-06-17"
AFP_URL="https://www.isa-afp.org/release/"$AFP_DATE".tar.gz"

2
install
View File

@ -213,7 +213,7 @@ install_and_register(){
\\\\renewcommand{\\\\isabellefullversion}{$ISABELLE_VERSION\\\\xspace}\n \
\\\\renewcommand{\\\\dof@version}{$DOF_VERSION}\n \
\\\\renewcommand{\\\\isabelleurl}{$ISABELLE_URL}\n \
\\\\renewcommand{\\\\dof@baseurl}{$DOF_BASE_URL}|" \
\\\\renewcommand{\\\\dof@artifacturl}{$DOF_ARTIFACT_URL}|" \
"$DIR/DOF-core.sty"
DIR="$ISABELLE_HOME_USER/DOF/latex"

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

@ -28,7 +28,7 @@
\newcommand{\dof@isabelleversion}{UNDEFINED}
\newcommand{\isabellefullversion}{UNDEFINED\xspace}
\newcommand{\dof@version}{UNDEFINED}
\newcommand{\dof@baseurl}{UNDEFINED}
\newcommand{\dof@artifacturl}{UNDEFINED}
%%% CONFIG %%%
@ -39,7 +39,7 @@
\newcommand{\isadofdirn}{Isabelle\_DOF-\dof@version\_\dof@isabelleversion}
\newcommand{\isadofarchive}{\isadofdir.tar.xz}
\newcommand{\isadofarchiven}{\isadofdirn.tar.xz}
\newcommand{\isadofarchiveurl}{\dof@baseurl/\isadofarchive}
\newcommand{\isadofarchiveurl}{\dof@artifacturl/\isadofarchive}
\newcommand{\isadof}{Isabelle/DOF\xspace}