michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

doc(emacs/README.md): mention issue 906 in Known Issues

Browse source 
see #906
[skip ci]
This commit is contained in:
Soonho Kong 2015-12-02 17:37:10 -05:00
parent ff8f24a29b
commit c75e037b3c
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/emacs/README.md
View file

@ -187,6 +187,15 @@ You may also need to install [emacs-unicode-fonts](https://github.com/rolandwalk
(unicode-fonts-setup) (unicode-fonts-setup)
``` ```
"Variable binding depth exceeds max-specpdl-size" Error
---------------------------------------------------------
See [Issue 906](https://github.com/leanprover/lean/issues/906) for details.
[Moritz Kiefer](https://github.com/cocreature) reported that `proofgeneral`
comes with an old version of `mmm-mode` (0.4.8, released in 2004) on ArchLinux
and it caused this problem. Either removing `proofgeneral` or upgrading
`mmm-mode` to the latest version (0.5.1 as of 2015 Dec) resolves this issue.
Contributions Contributions
============= =============