forked from Isabelle_DOF/Isabelle_DOF
Removed reference to 2016.
This commit is contained in:
parent
b904b1dabf
commit
3a85255f29
|
@ -14,10 +14,6 @@ If a specific Isabelle version should be used (i.e., not the default
|
||||||
one), the full path to the ``isabelle`` command needs to be passed as
|
one), the full path to the ``isabelle`` command needs to be passed as
|
||||||
argument to the ``install`` script:
|
argument to the ``install`` script:
|
||||||
```console
|
```console
|
||||||
foo@bar:~$ ./install /usr/local/Isabelle2016-1/bin/isabelle
|
|
||||||
```
|
|
||||||
or likewise:
|
|
||||||
```console
|
|
||||||
foo@bar:~$ ./install /usr/local/Isabelle2017/bin/isabelle
|
foo@bar:~$ ./install /usr/local/Isabelle2017/bin/isabelle
|
||||||
```
|
```
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue