diff options
Diffstat (limited to 'demoisa')
-rw-r--r-- | demoisa/demoisa-easy.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/demoisa/demoisa-easy.el b/demoisa/demoisa-easy.el index 51f21a20..c08a0339 100644 --- a/demoisa/demoisa-easy.el +++ b/demoisa/demoisa-easy.el @@ -8,7 +8,7 @@ ;; ;; This is an alternative version of demoisa.el which uses the ;; proof-easy-config macro to do the work of declaring derived modes, -;; etc. NB: proof-easy-config is currently experimental. +;; etc. ;; ;; See demoisa.el and the Proof General manual for more documentation. ;; |