Fix lean4 mode
This commit is contained in:
parent
661f0316e5
commit
f4a2ec8183
|
@ -464,10 +464,6 @@ introduced.
|
||||||
:files ("lean4-mode/*.el")))
|
:files ("lean4-mode/*.el")))
|
||||||
#+end_src
|
#+end_src
|
||||||
|
|
||||||
#+begin_src emacs-lisp
|
|
||||||
(require 'lean4-mode)
|
|
||||||
#+end_src
|
|
||||||
|
|
||||||
*** LilyPond
|
*** LilyPond
|
||||||
|
|
||||||
Add the necessary hooks for LilyPond mode.
|
Add the necessary hooks for LilyPond mode.
|
||||||
|
|
Loading…
Reference in New Issue