Skip to content

Commit

Permalink
Release version 1.0.1
Browse files Browse the repository at this point in the history
  • Loading branch information
@mekeor
mekeor committed Nov 21, 2024
1 parent 653aa65 commit 294f74a
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 1 deletion.
6 changes: 6 additions & 0 deletions CHANGELOG.org
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,12 @@

* Development

* 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.
2 changes: 1 addition & 1 deletion lean4-mode.el
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@
;; Package-Requires: ((emacs "27.1") (dash "2.18.0") (flycheck "30") (magit-section "2.90.1") (lsp-mode "8.0.0"))
;; URL: https://github.com/leanprover/lean4-mode
;; SPDX-License-Identifier: Apache-2.0
;; Version: 1.0.0
;; Version: 1.0.1

;;; License:

Expand Down

0 comments on commit 294f74a

Please sign in to comment.