michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(emacs/lean-mode): add package info

Browse source
This commit is contained in:
Soonho Kong 2014-08-31 17:47:09 -07:00
parent ab08893140
commit fc2cbbe216
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/emacs/lean-mode.el
View file

@ -4,6 +4,11 @@
;; Author: Leonardo de Moura ;; Author: Leonardo de Moura
;; Soonho Kong ;; Soonho Kong
;; ;;
;; URL: https://github.com/leanprover/lean/blob/master/src/emacs
;; Keywords: languages
;; Package-Requires: ((emacs "24") (dash "2.8.0") (dash-functional "1.1.0"))
;; Version: 0.1
(require 'cl-lib) (require 'cl-lib)
(require 'eri) (require 'eri)
(require 'generic-x) (require 'generic-x)