diff options
| -rw-r--r-- | generic/proof.el | 7 |
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) ;;; |