From 2b4ffa29821703690cdb8758662c9d43c42453fc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 14 Dec 1998 15:16:21 +0000
Subject: Gave up on buggy Emacs 19 support, now give error for Emacs 19.

---
 generic/proof-site.el | 13 +++----------
 1 file changed, 3 insertions(+), 10 deletions(-)

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 60908868..e758bf60 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -7,16 +7,9 @@
 ;; $Id$
 ;;
 
-;; begin UGLY COMPATIBILITY HACK
-(or (featurep 'custom)
-    ;; Quick hack to support defcustom for Emacs 19
-    ;; FIXME da: Remove this soon.
-    ;; Customize works fine with Emacs 20.2
-    (defmacro defcustom (sym val doc &rest args)
-      (defvar sym val doc))
-    (defmacro group (sym mems doc &rest args)))
-;; end UGLY COMPATIBILITY HACK
-
+(if (or  (not (boundp 'emacs-major-version))
+	 (< emacs-major-version 20))
+    (error "Proof General is not compatible with Emacs %s" emacs-version))
 
 (defgroup proof-general nil
   "Customization of Proof General."
-- 
cgit v1.2.3