diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-16 13:40:06 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-16 13:40:06 +0000 |
| commit | 345273b33668a01dfa2234fd26c5d84f0185a525 (patch) | |
| tree | 6dc6e5f28589dab76c4b942e387a7c9c85e59e23 | |
| parent | 4a378b48b2419e5e6da0c0e93d5179fa0f9d4aa3 (diff) | |
Spurious "'s
| -rw-r--r-- | generic/proof-splash.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-splash.el b/generic/proof-splash.el index 0e5541fa..a89fc7b4 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -62,7 +62,7 @@ If it is nil, a new line is inserted." ;; by shell script rather than find-file. '(list "To start using Proof General, visit a proof script file" - "for your prover, using C-x C-f or the \"File\" menu.")) + "for your prover, using C-x C-f or the File menu.")) "Additional form evaluated and put onto splash screen.") (defconst proof-splash-welcome "*Proof General Welcome*" |