diff options
| author | David Aspinall | 2005-05-17 19:12:27 +0000 |
|---|---|---|
| committer | David Aspinall | 2005-05-17 19:12:27 +0000 |
| commit | 18001b891b646704bdd7d066fadab2595bfe1572 (patch) | |
| tree | ab42d6378cae9ac04250f11ae1de9b4fbded90b3 | |
| parent | b959d8ebd9821c8be99511316b3fb0d65a4dc156 (diff) | |
Updated.
| -rw-r--r-- | generic/proof-autoloads.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el index 133d95ba..b828a997 100644 --- a/generic/proof-autoloads.el +++ b/generic/proof-autoloads.el @@ -1,5 +1,7 @@ ;;; DO NOT MODIFY THIS FILE (if (featurep 'proof-autoloads) (error "Already loaded")) + +(provide 'proof-autoloads) ;;;### (autoloads nil "_pkg" "generic/_pkg.el") @@ -252,4 +254,3 @@ Configure the current output buffer (goals/response/trace) for X-Symbol." nil ni ;;;*** -(provide 'proof-autoloads) |