diff options
| author | David Aspinall | 2009-09-05 09:54:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-05 09:54:56 +0000 |
| commit | b30f353c2ea9f514d7ab6bf821a7919adf62143a (patch) | |
| tree | 9fe25f3ed35c8377d749d8e7336c9e44fd7481e6 /generic/pg-thymodes.el | |
| parent | 559426016c112b6147fe82582c6479521b0fab6a (diff) | |
Clean whitespace
Diffstat (limited to 'generic/pg-thymodes.el')
| -rw-r--r-- | generic/pg-thymodes.el | 8 |
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 |
