From 35bc77bbc8733296c08623d963e4e8b199c16b1e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 9 May 2000 10:41:15 +0000
Subject: Fixup loading.

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

(limited to 'generic/proof.el')

diff --git a/generic/proof.el b/generic/proof.el
index 0f0964fd..f90b7454 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -11,6 +11,7 @@
 ;;
 
 (require 'proof-site)			; site config
+(require 'proof-autoloads)		; autoloaded functions
 (require 'proof-compat)			; Emacs and OS compatibility
 (require 'proof-utils)			; utilities
 (require 'proof-config)			; configuration variables
@@ -21,6 +22,18 @@
     (proof-splash-display-screen))	
 
 
+;;;
+;;; Extra autoloads that aren't automatic 
+;;; (defined with define-derived-mode)
+;;;
+
+(autoload 'proof-mode "proof-script"
+  "Proof General major mode class for proof scripts.")
+
+(autoload 'proof-shell-mode "proof-shell"
+  "Proof General shell mode class for proof assistant processes")
+
+
 ;;;
 ;;; Global variables
 ;;;
-- 
cgit v1.2.3