From 36ca763e45d4b4489983cd820b28a5d36cea04de Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 8 Mar 2005 17:08:28 +0000
Subject: small modifications, updating doc string of holes.el.

---
 coq/coq-abbrev.el | 16 ++++++++--------
 lib/holes.el      | 18 +++++++++++++-----
 2 files changed, 21 insertions(+), 13 deletions(-)

diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el
index 29fc9b96..c73b4e4d 100644
--- a/coq/coq-abbrev.el
+++ b/coq/coq-abbrev.el
@@ -195,14 +195,14 @@
       )
      ("Notations"
       "COMMAND               ABBREVIATION"
-      ["Infix                           inf<C-BS>" (holes-insert-and-expand "inf") t]     
-      ["Notation (no assoc)             nota<C-BS>" (holes-insert-and-expand "nota") t]     
-      ["Notation (assoc)                notas<C-BS>" (holes-insert-and-expand "notas") t]     
-      ["Notation (no assoc, scope)      notasc<C-BS>" (holes-insert-and-expand "notasc") t]     
-      ["Notation (assoc, scope)         notassc<C-BS>" (holes-insert-and-expand "notassc") t]
-		""
-      ["Notation (simple)               nots<C-BS>" (holes-insert-and-expand "nots") t]     
-      ["Notation (simple,local)         notsl<C-BS>" (holes-insert-and-expand "nots") t]     
+      ["Infix                      inf<C-BS>" (holes-insert-and-expand "inf") t]     
+      ["Notation (no assoc)        nota<C-BS>" (holes-insert-and-expand "nota") t]     
+      ["Notation (assoc)           notas<C-BS>" (holes-insert-and-expand "notas") t] 
+      ["Notation (no assoc, scope) notasc<C-BS>" (holes-insert-and-expand "notasc") t] 
+      ["Notation (assoc, scope)    notassc<C-BS>" (holes-insert-and-expand "notassc") t]
+      ""
+      ["Notation (simple)          nots<C-BS>" (holes-insert-and-expand "nots") t]     
+      ["Notation (simple,local)    notsl<C-BS>" (holes-insert-and-expand "nots") t]     
 
       )
      )
diff --git a/lib/holes.el b/lib/holes.el
index a5c74271..1699cf9e 100644
--- a/lib/holes.el
+++ b/lib/holes.el
@@ -104,10 +104,14 @@ It is useful in combination with abbreviations.  For example in
 \\[holes-set-point-next-hole-destroy] goes from one hole to the
 following and you can fill-in each hole very quickly.
 
-                          KNOWN BUGS
+COMBINING HOLES AND SKELETONS
+
+`holes' minor mode is made to work with minor mode `skeleton' minor
+mode. For the moment only Emacs version of `skeleton' is compatible
+with `holes', not XEmacs's. When you insert a skeleton, each
+interesting position will be replaced by a hole. 
 
- o Replacing holes with mouse in Emacs works but it seems that one
-more click is needed to really see the replacement
+                          KNOWN BUGS
 
  o Don't try to make overlapping holes, it doesn't work. (what would
 it mean anyway?)
@@ -116,8 +120,10 @@ it mean anyway?)
 holes, and undoing on holes cannot make holes re-appear. With XEmacs
 it will, but if you copy paste the active hole, you will get several
 holes highlighted as the active one (whereas only one of them really
-is), which is annoying")
+is), which is annoying.
+")
 
+ 
 ;;; Code:
 
 (cond
@@ -832,7 +838,7 @@ become holes."
 	(t
 	 (goto-char pos)
 	 (message (substitute-command-keys
-		   "Hit \\[holes-set-point-next-hole-destroy] to jump to active hole.  \\[holes-short-doc] to see holes doc.")))))))
+		   "\\[holes-set-point-next-hole-destroy] to jump to active hole.  \\[holes-short-doc] to see holes doc.")))))))
 
 (defun holes-insert-and-expand (s)
   "Insert S, expand it and replace #s and @{]s by holes."
@@ -869,3 +875,5 @@ turn it off."
 	  (cons '(holes-mode " Holes") minor-mode-alist)))
 
 (provide 'holes)
+
+;;; holes.el ends here
-- 
cgit v1.2.3