diff options
| author | David Aspinall | 1998-10-27 17:32:57 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-27 17:32:57 +0000 |
| commit | 448c9d5c1913947876dc8d3f6c2ebf079f572b6f (patch) | |
| tree | 762687453ec2d84b02a22fcbb565ea79f52105e7 /generic/proof.el | |
| parent | a7bace497992954e808de69847fd53345d6c3c0b (diff) | |
Splash screen added back. Put in Xemacs test for noninteractive to
fix odd arithmetic error during byte compile.
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof.el b/generic/proof.el index 06af87dc..62b9489a 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -17,7 +17,7 @@ (require 'proof-config) ; configuration variables -;(require 'proof-splash) ; splash screen +(require 'proof-splash) ; splash screen ;; FIXME da: I think these should all be autoloaded!! ;; (require 'cl) |