New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fixed some obvious issues in Emacs related files #1303

Merged

mn200 merged 1 commit into HOL-Theorem-Prover:develop from binghe:emacs.fix

Sep 23, 2024

Member

binghe commented Sep 19, 2024

The value of max-lisp-eval-depth is not enough for compiling hol-input.el due to increased grammar structures.
There's a grammar mistake in forward-smlsymbol of holscript-mode.el, found when trying to compile the el file.


          Fixed some obvious issues in Emacs related files

5849c53

Member

mn200 commented Sep 23, 2024

Thanks! I guess that function forward-smlsymbol isn't used anywhere...

mn200 merged commit 0ee9368 into HOL-Theorem-Prover:develop

4 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet