Merge branch 'Unreleased/Isabelle2020-RC4' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF into Unreleased/Isabelle2020-RC4
Isabelle_DOF/Isabelle_DOF/pipeline/head There was a failure building this commit
Details
Isabelle_DOF/Isabelle_DOF/pipeline/head There was a failure building this commit
Details
This commit is contained in:
commit
2adf50fe83
6
.config
6
.config
|
@ -6,9 +6,9 @@ DOF_LATEST_DOI="10.5281/zenodo.3370483"
|
||||||
DOF_GENERIC_DOI="10.5281/zenodo.3370482"
|
DOF_GENERIC_DOI="10.5281/zenodo.3370482"
|
||||||
#
|
#
|
||||||
# Isabelle and AFP Configuration
|
# Isabelle and AFP Configuration
|
||||||
ISABELLE_VERSION="Isabelle2020-RC4: April 2020"
|
ISABELLE_VERSION="Isabelle2020: April 2020"
|
||||||
ISABELLE_URL="https://isabelle.in.tum.de/website-Isabelle2020-RC4/"
|
ISABELLE_URL="https://isabelle.in.tum.de/website-Isabelle2020/"
|
||||||
AFP_DATE="afp-2020-04-17"
|
AFP_DATE="afp-2020-04-20"
|
||||||
AFP_URL="https://www.isa-afp.org/release/"$AFP_DATE".tar.gz"
|
AFP_URL="https://www.isa-afp.org/release/"$AFP_DATE".tar.gz"
|
||||||
#
|
#
|
||||||
# Isabelle/DOF Repository Configuration
|
# Isabelle/DOF Repository Configuration
|
||||||
|
|
|
@ -20,9 +20,9 @@ foo@bar:~$ docker run -ti --rm -e DISPLAY=$DISPLAY -v /tmp/.X11-unix:/tmp/.X11-u
|
||||||
|
|
||||||
Isabelle/DOF has two major pre-requisites:
|
Isabelle/DOF has two major pre-requisites:
|
||||||
|
|
||||||
* **Isabelle:** Isabelle/DOF requires [Isabelle 2020](http://isabelle.in.tum.de/website-Isabelle2020-RC4/).
|
* **Isabelle:** Isabelle/DOF requires [Isabelle 2020](http://isabelle.in.tum.de/website-Isabelle2020/).
|
||||||
Please download the Isabelle 2020 distribution for your operating
|
Please download the Isabelle 2020 distribution for your operating
|
||||||
system from the [Isabelle website](http://isabelle.in.tum.de/website-Isabelle2020-RC4/).
|
system from the [Isabelle website](http://isabelle.in.tum.de/website-Isabelle2020/).
|
||||||
* **LaTeX:** Isabelle/DOF requires a modern pdfTeX-engine supporting the \expanded{}-primitive. This
|
* **LaTeX:** Isabelle/DOF requires a modern pdfTeX-engine supporting the \expanded{}-primitive. This
|
||||||
is, for example, included in the [TeXLive 2019](https://www.tug.org/texlive/) (or later)
|
is, for example, included in the [TeXLive 2019](https://www.tug.org/texlive/) (or later)
|
||||||
distribution. Please follow the [TeXLive installation instructions](https://www.tug.org/texlive/acquire-netinstall.html)
|
distribution. Please follow the [TeXLive installation instructions](https://www.tug.org/texlive/acquire-netinstall.html)
|
||||||
|
@ -41,7 +41,7 @@ one), the full path to the ``isabelle`` command needs to be passed as
|
||||||
using the ``--isabelle`` command line argument of the ``install`` script:
|
using the ``--isabelle`` command line argument of the ``install`` script:
|
||||||
|
|
||||||
```console
|
```console
|
||||||
foo@bar:~$ ./install --isabelle /usr/local/Isabelle2020-RC4/bin/isabelle
|
foo@bar:~$ ./install --isabelle /usr/local/Isabelle2020/bin/isabelle
|
||||||
```
|
```
|
||||||
|
|
||||||
For further command line options of the installer, please use the
|
For further command line options of the installer, please use the
|
||||||
|
|
2
install
2
install
|
@ -126,8 +126,6 @@ check_afp_entries() {
|
||||||
fi
|
fi
|
||||||
done
|
done
|
||||||
if [ "$missing" != "" ]; then
|
if [ "$missing" != "" ]; then
|
||||||
echo " Please install development version of AFP for Isabelle 2020 manually."
|
|
||||||
exit_error
|
|
||||||
echo " Trying to install AFP (this might take a few *minutes*) ...."
|
echo " Trying to install AFP (this might take a few *minutes*) ...."
|
||||||
extract=""
|
extract=""
|
||||||
for e in $missing; do
|
for e in $missing; do
|
||||||
|
|
Loading…
Reference in New Issue