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

tune build instructions

This commit is contained in:
Gerwin Klein 2014-07-28 17:49:07 +02:00
parent 4a62bf5bfd
commit 4565c7bf14
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -109,7 +109,7 @@ installation of Isabelle, run the following commands in the directory
cp -i misc/etc/settings ~/.isabelle/etc/settings
./isabelle/bin/isabelle components -a
./isabelle/bin/isabelle jedit -bf
./isabelle/bin/isabelle build HOL-Word
./isabelle/bin/isabelle build -bv HOL-Word
These commands perform the following steps: