Release version 1.1.0

leanprover-community · Dec 1, 2024 · 9f048d2 · 9f048d2
1 parent ee7a51e
commit 9f048d2
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.0
 
 - To =lean4= customization group, add link to local info manual and
   use Lean4-Mode Github URL as website.

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.0.1
+;; Version: 1.1.0
 
 ;; This file is not part of GNU Emacs.