diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-26 12:35:02 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-26 12:35:02 +0000 |
| commit | 0955c72541176ffec0d15565e497740894c4391e (patch) | |
| tree | 1783a040da0fd44145f57886f6fcd37e2a8aa22f /demoisa | |
| parent | 9115161bca2fc5cf6b6b35d60bd72b8a28f222d0 (diff) | |
Consider proof-easy-config no-longer experimental.
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. ;; |