From 4c2778f1df19453fa2df74d2bb59ac32a8dde35d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 Oct 1998 18:13:43 +0000
Subject: Added autoload for proof-shell-available-p

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

(limited to 'generic')

diff --git a/generic/proof.el b/generic/proof.el
index 1e64ffe3..c57ca087 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -44,6 +44,13 @@
     (autoload 'proof-toolbar-setup "proof-toolbar"
       "Initialize Proof General and enable it for the current buffer" t))
 
+;;;
+;;; More autoloads to help define interface between files
+;;;
+
+(autoload 'proof-shell-available-p "proof-shell"
+  "Returns non-nil if there is a proof shell active and available.")
+
 ;;;
 ;;; Utilities/macros used in several files  (proof-utils)
 ;;;
-- 
cgit v1.2.3