diff options
| author | Clément Pit-Claudel | 2017-05-05 10:22:25 -0400 |
|---|---|---|
| committer | GitHub | 2017-05-05 10:22:25 -0400 |
| commit | 409a116b00a2208e0fbc528981176d29c7966db6 (patch) | |
| tree | 64131a91074063c119f10aa63d044d3011813c47 /lego | |
| parent | 8038b7270e7fd9752a62be2b4e59f26b8d0e48dc (diff) | |
| parent | f607be020b5d5ebbca5a5b8a2cea2e234cace966 (diff) | |
Merge pull request #157 from ProofGeneral/elpa
[WIP] ELPA/MELPA support
Diffstat (limited to 'lego')
| -rw-r--r-- | lego/lego.el | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/lego/lego.el b/lego/lego.el index 1ead4b9c..d1bd7532 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -149,15 +149,14 @@ Activates extended printing routines required for Proof General.") (lego-shell-mode-config)) (define-derived-mode lego-mode proof-mode - "lego" nil - (lego-mode-config)) - -(eval-and-compile - (define-derived-mode lego-response-mode proof-response-mode - "LEGOResp" nil - (setq proof-response-font-lock-keywords lego-font-lock-terms) - (lego-init-syntax-table) - (proof-response-config-done))) + "lego" nil + (lego-mode-config)) + +(define-derived-mode lego-response-mode proof-response-mode + "LEGOResp" nil + (setq proof-response-font-lock-keywords lego-font-lock-terms) + (lego-init-syntax-table) + (proof-response-config-done)) (define-derived-mode lego-goals-mode proof-goals-mode "LEGOGoals" "LEGO Proof State" |