forked from Isabelle_DOF/Isabelle_DOF
Splitting artifact URL.
This commit is contained in:
parent
257af67204
commit
9183dea32a
3
.config
3
.config
|
@ -2,6 +2,7 @@ DOF_VERSION="Unreleased"
|
||||||
ISABELLE_VERSION="Isabelle2019: June 2019"
|
ISABELLE_VERSION="Isabelle2019: June 2019"
|
||||||
ISABELLE_URL="https://isabelle.in.tum.de/website-Isabelle2019/"
|
ISABELLE_URL="https://isabelle.in.tum.de/website-Isabelle2019/"
|
||||||
DOF_URL="https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF"
|
DOF_URL="https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF"
|
||||||
DOF_ARTIFACT_URL="https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF"
|
DOF_ARTIFACT_DIR="releases/Isabelle_DOF/Isabelle_DOF"
|
||||||
|
DOF_ARTIFACT_HOST="artifacts.logicalhacking.com"
|
||||||
AFP_DATE="afp-2019-06-17"
|
AFP_DATE="afp-2019-06-17"
|
||||||
AFP_URL="https://www.isa-afp.org/release/"$AFP_DATE".tar.gz"
|
AFP_URL="https://www.isa-afp.org/release/"$AFP_DATE".tar.gz"
|
||||||
|
|
2
install
2
install
|
@ -214,7 +214,7 @@ install_and_register(){
|
||||||
\\\\renewcommand{\\\\dof@version}{$DOF_VERSION} \
|
\\\\renewcommand{\\\\dof@version}{$DOF_VERSION} \
|
||||||
\\\\renewcommand{\\\\isabelleurl}{$ISABELLE_URL} \
|
\\\\renewcommand{\\\\isabelleurl}{$ISABELLE_URL} \
|
||||||
\\\\renewcommand{\\\\dofurl}{$DOF_URL} \
|
\\\\renewcommand{\\\\dofurl}{$DOF_URL} \
|
||||||
\\\\renewcommand{\\\\dof@artifacturl}{$DOF_ARTIFACT_URL}|" \
|
\\\\renewcommand{\\\\dof@artifacturl}{https://$DOF_ARTIFACT_HOST/$DOF_ARTIFACT_DIR}|" \
|
||||||
"$DIR/DOF-core.sty"
|
"$DIR/DOF-core.sty"
|
||||||
|
|
||||||
DIR="$ISABELLE_HOME_USER/DOF/latex"
|
DIR="$ISABELLE_HOME_USER/DOF/latex"
|
||||||
|
|
Loading…
Reference in New Issue