diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2014-12-22 15:29:11 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2014-12-22 15:29:11 +0000 |
| commit | 5e0855925629694936a0f73936defa20a1758172 (patch) | |
| tree | 5ac532650b305d1d9b24b49e635b6c2f978da905 /coq/coq.el | |
| parent | eb8bee3157b4300174da08054e50884c8b32ed08 (diff) | |
Fixing a bug of multiple frame mode (obsolete variable in emacs > 23.4.
Diffstat (limited to 'coq/coq.el')
| -rw-r--r-- | coq/coq.el | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -375,7 +375,6 @@ SMIE is a navigation and indentation framework available in Emacs >= 23.3." (str (proof-shell-strip-eager-annotations start end)) (strnotrailingspace (coq-remove-starting-blanks (coq-remove-trailing-blanks str)))) - (message "STR = %S" strnotrailingspace) (pg-response-display-with-face strnotrailingspace face))) |