From a1dc80ab120070366cc2f67c8f2511d3130826b0 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 31 Aug 2002 13:14:51 +0000 Subject: Documentation. --- generic/proof-syntax.el | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'generic/proof-syntax.el') diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index e912c1b7..72848f64 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -134,11 +134,11 @@ Default is comma separated, or SEPREGEXP if set." proof-id "\\)*")) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; A big hack to unfontify commas in declarations and definitions. ;; -;; Useful for provers which have declarations of the form x,y,z:Ty ;; -;; All that can be said for it is that the previous way of doing ;; -;; this was even more bogus. ;; -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; +;; A function to unfontify commas in declarations and definitions. +;; Useful for provers which have declarations of the form x,y,z:Ty +;; All that can be said for it is that the previous ways of doing +;; this were even more bogus.... (defun proof-zap-commas (limit) "Remove the face of all `,' from point to LIMIT. -- cgit v1.2.3