From 1c0b0d32f95d7555943ab86a2de6666e39e84c13 Mon Sep 17 00:00:00 2001 From: Stefan Monnier Date: Wed, 4 Jun 2014 12:22:43 +0000 Subject: * coq-smie.el (coq-smie-.-deambiguate): Proofs don't start with a definition. (coq-smie-backward-token): Don't burp at EOB. (coq-smie-rules): Indent top-level ":" like ":=". --- generic/proof-shell.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'generic') diff --git a/generic/proof-shell.el b/generic/proof-shell.el index cc7e56f8..a8e79fcd 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -863,7 +863,7 @@ used in `proof-add-to-queue' when we start processing a queue, and in ;; Replace CRs from string with spaces to avoid spurious prompts. (if proof-shell-strip-crs-from-input - (setq string (subst-char-in-string ?\n ?\ string t))) + (setq string (subst-char-in-string ?\n ?\ string))) (insert string) -- cgit v1.2.3