From 72ce989f5e85280d78d597534406ec686e9edb64 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Nov 1999 19:01:16 +0000
Subject: Fixed some docstrings

---
 demoisa/demoisa-easy.el | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/demoisa/demoisa-easy.el b/demoisa/demoisa-easy.el
index 71262d03..d1407fe1 100644
--- a/demoisa/demoisa-easy.el
+++ b/demoisa/demoisa-easy.el
@@ -1,4 +1,4 @@
-;; proof-easy.el Example Proof General instance for Isabelle
+;; demoisa-easy.el Example Proof General instance for Isabelle
 ;;
 ;; Copyright (C) 1999 LFCS Edinburgh. 
 ;;
@@ -7,12 +7,13 @@
 ;; $Id$
 ;;
 ;; This is an alternative version of demoisa.el which uses the
-;; proof-easy-config mechanism to avoid declaring derived modes, etc.
-;; NB: proof-easy-config is experimental.
+;; proof-easy-config macro to do the work of declaring derived modes,
+;; etc.  NB: proof-easy-config is currently experimental.
 ;;
-;; See demoisa.el for documentation.
+;; See demoisa.el and the Proof General manual for more documentation.
 ;;
 ;; To test this file you must rename it demoisa.el.
+;;
 
 (require 'proof-easy-config)            ; easy configure mechanism
 
@@ -51,3 +52,5 @@
  "\\(\\(.\\|\n\\)*No subgoals!\n\\)"
  proof-shell-eager-annotation-start   
  "^\\[opening \\|^###\\|^Reading")
+
+(provide 'demoisa)
\ No newline at end of file
-- 
cgit v1.2.3