Release version 1.1.1

leanprover-community · Dec 2, 2024 · a561fa9 · a561fa9
1 parent 923ebac
commit a561fa9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/CHANGELOG.org b/CHANGELOG.org
@@ -1,7 +1,7 @@
 #+title: Lean4-Mode - Changelog
 #+language: en
 
-* Development
+* 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

diff --git a/lean4-mode.el b/lean4-mode.el
@@ -13,7 +13,7 @@
 ;; Package-Requires: ((emacs "27.1") (compat "28.1") (dash "2.18.0") (magit-section "2.90.1") (lsp-mode "8.0.0"))
 ;; URL: https://github.com/leanprover-community/lean4-mode
 ;; SPDX-License-Identifier: Apache-2.0
-;; Version: 1.1.0
+;; Version: 1.1.1
 
 ;; This file is not part of GNU Emacs.