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

add Isabelle dependencies

This commit is contained in:
Gerwin Klein 2014-07-28 21:27:46 +02:00
parent 8958f02c34
commit 9adbb9873d
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
README.md
View File

@ -86,12 +86,19 @@ The repository is organised as follows.
[5]: http://www.nicta.com.au/pub?id=7847 "An Isabelle Proof Method Language"
Isabelle Setup
--------------
The proofs in this repository use `Isabelle2013-2`. A copy of Isabelle
is included in the repository setup.
The dependencies for installing Isabelle are
* Perl 5.x with `libwww`
* Python 2.x
* LaTeX (e.g. `texlive`)
* 32-bit C/C++ standard libraries on 64-bit platforms (optional)
After the repository is set up in Google repo, you should have following
directory structure, where `l4v` is the repository you are currently looking
at: