From 5c15d9a0ad129b0407cabfe202a142c91a34e110 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 15 Jan 2008 23:18:16 +0000 Subject: Comments. --- generic/proof.el | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/generic/proof.el b/generic/proof.el index 3187f32c..7957177b 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -12,11 +12,13 @@ ;; This file loads Proof General. It is required by the ;; individual prover modes. Loading order of PG is: ;; -;; 1. proof-site (autoloads & stubs for mode functions) -;; 2. autoload of /.el by auto-mode-alist -;; 3. .el requires this file -;; 4. rest of PG loaded here, inc proof-config/pg-custom -;; 5. further modules loaded by autoloads. +;; 1. proof-site (variables, autoloads & stubs for mode functions) +;; 2. stub -mode function sets proof-assistant-symbol and related variables +;; 3. prover-dependent variables defined in pg-custom +;; 4. stub explicitly loads /.el and execute real mode function +;; 5. .el requires this file, rest of PG loaded here +;; 6. further modules loaded by autoloads/prover-specific requires. +;; ;; ;;; Code: -- cgit v1.2.3