mekeor/nael
1
5
Fork 0
Code Issues 1 Pull requests Activity
A humble Emacs major-mode for Lean
294 commits 1 branch 7 tags 493 KiB
Emacs Lisp 100%
Find a file
Mekeor Melire 1598704f99
Deprecate Nael. Release version 0.3.0.
2024-11-19 02:01:25 +01:00
.dir-locals.el non-semantic changes to make code fit within fill-column 2024-10-17 10:01:47 +02:00
build rename build.el into build 2024-10-17 11:09:44 +02:00
LICENSE.APACHE readme, makefile, info manual, moved out of .el, mv license files 2024-06-13 00:31:37 +02:00
LICENSE.GPL readme, makefile, info manual, moved out of .el, mv license files 2024-06-13 00:31:37 +02:00
nael.el Deprecate Nael. Release version 0.3.0. 2024-11-19 02:01:25 +01:00
nael.info Deprecate Nael. Release version 0.3.0. 2024-11-19 02:01:25 +01:00
nael.texi Deprecate Nael. Release version 0.3.0. 2024-11-19 02:01:25 +01:00
README.org Deprecate Nael. Release version 0.3.0. 2024-11-19 02:01:25 +01:00

README.org

Nael – A deprecated fork of Lean4-Mode

Nael was a fork of Lean4-Mode. It has been deprecated in favor of development on Lean4-Mode itself.

Changelog

This changelog only describes user-facing changes.

Version 0.3.0 <2024-11-19 Tue>

  • Deprecate Nael.

Version 0.2.2 released on <2024-07-05 Fri>

  • Fix link to homepage (https://codeberg.org/mekeor/nael).
  • Add links to Nael customization group.
  • Support Imenu even if Eglot is not enabled.
  • When customizing Nael mode hook, suggest functions.