diff options
-rw-r--r-- | generic/proof-script.el | 12 | ||||
-rw-r--r-- | generic/texi-docstring-magic.el | 3 |
2 files changed, 7 insertions, 8 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index ecfa067a..59350fc9 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -708,15 +708,15 @@ the next command end." (proof-unprocessed-begin) -10) ?x)) (i 0) (depth 0) (quote-parity t) done alist c (comment-end-regexp (regexp-quote proof-comment-end)) - (comment-start-regexp (regexp-quote proof-comment-start)) + (comment-start-regexp (regexp-quote proof-comment-start))) ;; For forthcoming improvements: skip over boring ;; characters, calculate strings with buffer-substring ;; rather than character at a time. - (interesting-chars - (concat (substring proof-comment-start 1 1) - (substring proof-comment-end 1 1) - (char-to-string proof-terminal-char) - "\""))) + ; (interesting-chars + ; (concat (substring proof-comment-start 1 1) + ; (substring proof-comment-end 1 1) + ; (char-to-string proof-terminal-char) + ; "\""))) (proof-goto-end-of-locked) (while (not done) (cond diff --git a/generic/texi-docstring-magic.el b/generic/texi-docstring-magic.el index 3b8b58c2..05e125f5 100644 --- a/generic/texi-docstring-magic.el +++ b/generic/texi-docstring-magic.el @@ -142,8 +142,7 @@ including any whitespace included to delimit matches.") (defun texi-docstring-magic-format-default (default) "Make a default value string for the value DEFAULT. Markup as @code{stuff} or @lisp stuff @end lisp." - (let ((text (format "%S" default)) - (isstringg (stringp default))) + (let ((text (format "%S" default))) (concat "\nThe default value is " (if (string-match "\n" text) |