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 /obsolete | |
| parent | 8038b7270e7fd9752a62be2b4e59f26b8d0e48dc (diff) | |
| parent | f607be020b5d5ebbca5a5b8a2cea2e234cace966 (diff) | |
Merge pull request #157 from ProofGeneral/elpa
[WIP] ELPA/MELPA support
Diffstat (limited to 'obsolete')
| -rw-r--r-- | obsolete/demoisa/demoisa-easy.el | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/obsolete/demoisa/demoisa-easy.el b/obsolete/demoisa/demoisa-easy.el index f2e84837..b6e0e67d 100644 --- a/obsolete/demoisa/demoisa-easy.el +++ b/obsolete/demoisa/demoisa-easy.el @@ -25,9 +25,8 @@ ;; To test this file you must rename it demoisa.el. ;; -(eval-and-compile - (require 'proof-site) ; compilation for demoisa - (proof-ready-for-assistant 'demoisa)) +(require 'proof-site) +(proof-ready-for-assistant 'demoisa) (require 'proof) (require 'proof-easy-config) ; easy configure mechanism |