From 1f66415a5fd82cf0e19f3bccc391c7e0f7558330 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 21 Mar 2005 11:13:46 +0000
Subject: Updated.

---
 generic/proof-script.el | 1 -
 1 file changed, 1 deletion(-)

diff --git a/generic/proof-script.el b/generic/proof-script.el
index c60ced2b..41499e31 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2946,5 +2946,4 @@ Choice of function depends on configuration setting."
 
 
 (provide 'proof-script)
-
 ;;; proof-script.el ends here
-- 
cgit v1.2.3