diff options
Diffstat (limited to 'generic/proof-syntax.el')
-rw-r--r-- | generic/proof-syntax.el | 10 |
1 files changed, 5 insertions, 5 deletions
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. |