From 55cc7c5b334ad0ad42e9a574e9f5b70d50f4c4ad Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Sep 1998 17:12:06 +0000
Subject: Added proof-general-version

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

(limited to 'generic')

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 574b5cff..7b2f6a89 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -13,6 +13,9 @@
 ;; One possible hack: changing prover in the proof-assistant setting
 ;; below could re-adjust load path and autoloads.
 
+;; 
+(defvar proof-general-version ""
+  "Version string for Proof General.")
 
 (or (featurep 'custom)
     ;; Quick hack to support defcustom for Emacs 19
-- 
cgit v1.2.3