max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: lean4-mode: remove uses of obsolete package

Browse source
This commit is contained in:
Sebastian Ullrich 2021-03-05 18:00:30 +01:00
parent edf4a2be72
commit 116c4b20a0
2 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lean4-mode/lean4-eri.el
View file

@ -6,7 +6,7 @@
;;; Code:
(require 'cl)
(require 'cl-lib)
(defun lean4-eri-current-line-length nil
"Calculate length of current line."

2
lean4-mode/lean4-input.el
View file

@ -23,8 +23,6 @@
(require 'quail)
(eval-when-compile
(require 'cl))
;; Quail is quite stateful, so be careful when editing this code. Note
;; that with-temp-buffer is used below whenever buffer-local state is
;; modified.