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-script.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-script.el')
0 files changed, 0 insertions, 0 deletions