diff options
-rw-r--r-- | generic/proof-site.el | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 7af1f7a0..4dfe1dcb 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -324,8 +324,5 @@ If ASSISTANT-NAME is omitted, look up in `proof-assistant-table'." (setq assistants (cdr assistants))))) (provide 'proof-site) -;; proof-site.el ends here - -(provide 'proof-site) ;;; proof-site.el ends here |