We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 472c6f6 commit 019c9dfCopy full SHA for 019c9df
README.md
@@ -20,7 +20,7 @@ sudo apt-get install mercurial python2.7 texlive-latex-recommended \
20
git clone https://github.com/leanprover/tutorial
21
cd tutorial
22
tar xvfz header/l3kernel.tar.gz -C ~/
23
-make install-cask # after this, you need to add
+make install-cask # after this, you need to add the cask binary to your $PATH
24
make install-pygments
25
make
26
```
0 commit comments