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

fix(src/emacs/README.md): make minor grammatical corrections

Browse source
This commit is contained in:
Jeremy Avigad 2015-02-03 12:41:37 -05:00 committed by Leonardo de Moura
parent 77e8439012
commit 875869fdbc
1 changed files with 20 additions and 20 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

40
src/emacs/README.md
View file

@ -1,13 +1,13 @@
Emacs mode for [lean theorem prover][lean] Emacs mode for [lean theorem prover][Lean]
[lean]: https://github.com/leanprover/lean [lean]: https://github.com/leanprover/lean
Requirement Requirements
=========== ============
``lean-mode`` requires [Emacs 24][emacs24] and following ``lean-mode`` requires [Emacs 24][emacs24] and the following
packages which can be installed via <kbd>M-x package-install</kbd>. packages, which can be installed via <kbd>M-x package-install</kbd>.
- [dash][dash] - [dash][dash]
- [dash-functional][dash] - [dash-functional][dash]
@ -19,7 +19,7 @@ packages which can be installed via <kbd>M-x package-install</kbd>.
[f]: https://github.com/rejeep/f.el [f]: https://github.com/rejeep/f.el
[s]: https://github.com/magnars/s.el [s]: https://github.com/magnars/s.el
The following packages are *optional* but we recommend to install them The following packages are *optional*, but we recommend installing them
to use full features of ``lean-mode``. to use full features of ``lean-mode``.
- [company][company] - [company][company]
@ -35,10 +35,10 @@ to use full features of ``lean-mode``.
[mmm-mode]: https://github.com/purcell/mmm-mode [mmm-mode]: https://github.com/purcell/mmm-mode
Install Installation
======= ============
Put the following elisp code on your emacs setup Put the following elisp code in your emacs setup
(e.g. ``.emacs.d/init.el`` [GNU Emacs], ``~/Library/Preferences/Aquamacs Emacs/Preferences.el`` [Aquamacs]) : (e.g. ``.emacs.d/init.el`` [GNU Emacs], ``~/Library/Preferences/Aquamacs Emacs/Preferences.el`` [Aquamacs]) :
```elisp ```elisp
@ -62,7 +62,7 @@ Put the following elisp code on your emacs setup
Please choose your installation method from the following scenarios, and add the elisp code to your emacs setup: Please choose your installation method from the following scenarios, and add the elisp code to your emacs setup:
Case 1: Build lean from source Case 1: Build Lean from source
----------------------------- -----------------------------
```elisp ```elisp
@ -76,7 +76,7 @@ Case 1: Build lean from source
(require 'lean-mode) (require 'lean-mode)
``` ```
Case 2: Install lean via apt-get on Ubuntu Case 2: Install Lean via apt-get on Ubuntu
------------------------------------------- -------------------------------------------
```elisp ```elisp
@ -88,7 +88,7 @@ Case 2: Install lean via apt-get on Ubuntu
``` ```
Case 3: Install lean via homebrew on OS X Case 3: Install Lean via homebrew on OS X
----------------------------------------- -----------------------------------------
```elisp ```elisp
@ -99,12 +99,12 @@ Case 3: Install lean via homebrew on OS X
(require 'lean-mode) (require 'lean-mode)
``` ```
Note: if you install homebrew not in the default location but a custom Note: if you install homebrew in a custom location that is not the default
location, please run `brew info lean` and it will tell you where location, please run `brew info lean`, and it will tell you where the
lean-mode files are located. With that information, update lean-mode files are located. With that information, update the
`lean-emacs-path` variable accordingly. `lean-emacs-path` variable accordingly.
Case 4: Install lean in Windows Case 4: Install Lean in Windows
------------------------------- -------------------------------
``` ```
;; Set up lean-root path ;; Set up lean-root path
@ -144,14 +144,14 @@ first consider using a unicode-friendly font such as `DejaVu Sans Mono`:
(set-face-attribute 'default nil :font "DejaVu Sans Mono-11")) (set-face-attribute 'default nil :font "DejaVu Sans Mono-11"))
``` ```
If you still experience rendering problem. Please consider trying If you still experience a rendering problem, consider trying
[emacs-unicode-fonts](https://github.com/rolandwalker/unicode-fonts). [emacs-unicode-fonts](https://github.com/rolandwalker/unicode-fonts).
Contribution Contributions
============ =============
Contribution is welcome! Contributions are welcome!
If your contribution is a bug fix, create your topic branch from If your contribution is a bug fix, create your topic branch from
`master`. If it is a new feature, check if there exists a `master`. If it is a new feature, check if there exists a