Release version 1.0.0

leanprover-community · Nov 16, 2024 · eee7a10 · eee7a10
1 parent 92f6317
commit eee7a10
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lean4-mode.el b/lean4-mode.el
@@ -13,6 +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
 
 ;;; License: