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 019c9df commit b808061Copy full SHA for b808061
README.md
@@ -16,7 +16,7 @@ We use [cask][cask] to install emacs dependencies ([org-mode][org-mode], [lean-m
16
sudo apt-get install mercurial python2.7 texlive-latex-recommended \
17
texlive-humanities texlive-xetex texlive-science \
18
texlive-latex-extra texlive-fonts-recommended \
19
- bibtex2html git make mercurial
+ bibtex2html git make mercurial autoconf automake gcc
20
git clone https://github.com/leanprover/tutorial
21
cd tutorial
22
tar xvfz header/l3kernel.tar.gz -C ~/
0 commit comments