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

feat(emacs): use lexical scope for lean-info and lean-server

Browse source
This commit is contained in:
Soonho Kong 2014-09-03 00:35:50 -07:00
parent b25288545e
commit 975841e53b
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/emacs/lean-info.el
View file

@ -1,9 +1,9 @@
;; -*- lexical-binding: t; -*-
;; Copyright (c) 2014 Microsoft Corporation. All rights reserved. ;; Copyright (c) 2014 Microsoft Corporation. All rights reserved.
;; Released under Apache 2.0 license as described in the file LICENSE. ;; Released under Apache 2.0 license as described in the file LICENSE.
;; ;;
;; Author: Soonho Kong ;; Author: Soonho Kong
;; ;;
(require 'cl-lib) (require 'cl-lib)
(require 'dash) (require 'dash)
(require 'dash-functional) (require 'dash-functional)

1
src/emacs/lean-server.el
View file

@ -1,3 +1,4 @@
;; -*- lexical-binding: t; -*-
;; Copyright (c) 2014 Microsoft Corporation. All rights reserved. ;; Copyright (c) 2014 Microsoft Corporation. All rights reserved.
;; Released under Apache 2.0 license as described in the file LICENSE. ;; Released under Apache 2.0 license as described in the file LICENSE.
;; ;;