Added autoload for proof-shell-available-p

1 files changed, 7 insertions, 0 deletions

diff --git a/generic/proof.el b/generic/proof.el
index 1e64ffe3..c57ca087 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -45,6 +45,13 @@
       "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)
 ;;;