diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-12-13 22:03:12 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-13 22:03:12 +0000 |
commit | cc920688fde5eefac2201a07d894ee9b66e4d1fc (patch) | |
tree | a9c7f55d3e629d94c6a3389eb89972eee5eeb3ac | |
parent | f9c462cb1331d4df669a425bc5baaddbbe7a5153 (diff) |
Remvoe typo
-rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 10579bc9..60494221 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -374,7 +374,7 @@ Does nothing if proof assistant is already running." ) ;; Create the associated buffers and set buffer variables -v ;; + ;; ;; NB: 3.6 has reverted space in front of names, so buffers ;; are easier for users to find, was causing confusion. ;; |