Skip to content

Latest commit

 

History

History
35 lines (25 loc) · 1.3 KB

CHANGELOG.org

File metadata and controls

35 lines (25 loc) · 1.3 KB
Raw

Lean4-Mode - Changelog

Version 1.1.2

  • Fix occasional errors like “The connected server(s) does not support method $/lean/plainGoal” by not wrapping invocations of lsp-protocol macro into eval-when-compile but rather into eval-and-compile. Thus, the methods should now work, no matter whether Lean4-Mode was loaded by interpreting .el Elisp code or by loading compiled .elc or .eln files. (Bug#54, Zulip discussion)

Version 1.1.1

  • Assign all customizable user-options to the Lean4-Mode specific lean4 group. To customize Lean4-Mode, you now need to type M-x customize-group RET lean4 RET.

Version 1.1.0

  • To lean4 customization group, add link to local info manual and use Lean4-Mode Github URL as website.
  • Introduce new dependency on Elpa package compat.
  • Remove dependency on Elpa package Flycheck. It is still supported but not required.

Version 1.0.1

  • Specify Yury G. Kudryashov as maintainer.
  • Rework README. (Now in Org format).
  • Provide README as Texi and Info manual too.

Version 1.0

  • Specify “Version” in Emacs-Lisp library header.