adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

docs: Isabelle2016-1 -> Isabelle2017

This commit is contained in:
Gerwin Klein 2018-03-08 08:33:18 +11:00
parent 79cea8452f
commit ba97e55d1f
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -114,7 +114,7 @@ cores are useful.
### Software
The proofs in this repository use `Isabelle2016-1`. A copy of Isabelle
The proofs in this repository use `Isabelle2017`. A copy of Isabelle
is included in the repository setup.
The dependencies for installing Isabelle in this repository are
@ -210,7 +210,7 @@ These commands perform the following steps:
* build basic Isabelle images, including `HOL-Word` to ensure that
the installation works. This may take a few minutes.
Alternatively, it is possible to use the official Isabelle2016-1 release
Alternatively, it is possible to use the official Isabelle2017 release
bundle for your platform from the [Isabelle website][2]. In this case, the
installation steps above can be skipped, and you would replace the directory
`verification/isabelle/` with a symbolic link to the Isabelle home directory