aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-thymodes.el
diff options
context:
space:
mode:
authorDavid Aspinall2009-09-05 09:54:56 +0000
committerDavid Aspinall2009-09-05 09:54:56 +0000
commitb30f353c2ea9f514d7ab6bf821a7919adf62143a (patch)
tree9fe25f3ed35c8377d749d8e7336c9e44fd7481e6 /generic/pg-thymodes.el
parent559426016c112b6147fe82582c6479521b0fab6a (diff)
Clean whitespace
Diffstat (limited to 'generic/pg-thymodes.el')
-rw-r--r--generic/pg-thymodes.el8
1 files changed, 4 insertions, 4 deletions
diff --git a/generic/pg-thymodes.el b/generic/pg-thymodes.el
index de4c31ca..b019e6ef 100644
--- a/generic/pg-thymodes.el
+++ b/generic/pg-thymodes.el
@@ -7,7 +7,7 @@
;; $Id$
;;
;;; Commentary:
-;;
+;;
;; Functions for defining "theory" modes, i.e. modes for
;; non-interactive proof assistant files which do not contain proof
;; scripts.
@@ -71,7 +71,7 @@ All of these settings are optional."
(defmacro pg-do-unless-null (val &rest body)
`(if ,val
(progn ,@body)))
-
+
(defun pg-symval (sym &optional other)
"Return (symbol-value SYM) or nil/OTHER if SYM unbound."
@@ -89,9 +89,9 @@ All of these settings are optional."
(if (boundp modesym)
(symbol-value modesym)
other)))
-
-
+
+
(provide 'pg-thymodes)
;;; pg-thymodes.el ends here