diff options
Diffstat (limited to 'demoisa/demoisa-easy.el')
| -rw-r--r-- | demoisa/demoisa-easy.el | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/demoisa/demoisa-easy.el b/demoisa/demoisa-easy.el index cac8afae..2a7e87c5 100644 --- a/demoisa/demoisa-easy.el +++ b/demoisa/demoisa-easy.el @@ -10,6 +10,12 @@ ;; proof-easy-config macro to do the work of declaring derived modes, ;; etc. ;; +;; This mechanism is in fact recommended for new instantiations of +;; Proof General since it follows a regular pattern, and we can more +;; easily adapt the it in the future to new versions of Proof General. +;; It is easy to augment with additional elisp functions and +;; other settings. +;; ;; See demoisa.el and the Proof General manual for more documentation. ;; ;; To test this file you must rename it demoisa.el. |