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

README: adjusted latex dependencies and Isabelle version 

closes github issue #11
This commit is contained in:
Gerwin Klein 2016-06-30 08:58:13 +10:00
parent 3400debdc2
commit 081c7337a0
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
README.md
View File

@ -113,15 +113,15 @@ cores are useful.
### Software
The proofs in this repository use `Isabelle2015`. A copy of Isabelle
The proofs in this repository use `Isabelle2016`. A copy of Isabelle
is included in the repository setup.
The dependencies for installing Isabelle are
The dependencies for installing Isabelle in this repository are
* Perl 5.x with `libwww-perl`
* Python 2.x
* LaTeX (e.g. `texlive` with `texlive-bibtex-extra` + `texlive-latex-extra` +
`texlive-fonts-recommended`)
* LaTeX, for instance on Ubuntu 14.04
`sudo apt-get install texlive-fonts-recommended texlive-latex-extra texlive-metapost texlive-bibtex-extra`
* 32-bit C/C++ standard libraries on 64-bit platforms (optional)
For running the standalone version of the C Parser you will additionally need
@ -207,7 +207,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 Isabelle2015 release
Alternatively, it is possible to use the official Isabelle2016 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