diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-09-14 16:14:49 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-14 16:14:49 +0000 |
commit | f4e03f150202a64e476d5881470872a6ab4d8180 (patch) | |
tree | 22e651fd45591d541eb8df21893096939eefa7bf /demoisa | |
parent | 0ae5be8c23ee67ef941640f7628343c55ef45e45 (diff) |
Encourage use of demoisa-easy.el
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 2a7e87c5..96f2ce7b 100644 --- a/demoisa/demoisa-easy.el +++ b/demoisa/demoisa-easy.el @@ -12,7 +12,7 @@ ;; ;; 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. +;; easily adapt it in the future to new versions of Proof General. ;; It is easy to augment with additional elisp functions and ;; other settings. ;; |