diff options
| -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. ;; |