diff options
Diffstat (limited to 'coq/coq-showdiff.el')
| -rw-r--r-- | coq/coq-showdiff.el | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/coq/coq-showdiff.el b/coq/coq-showdiff.el deleted file mode 100644 index 0daf98f8..00000000 --- a/coq/coq-showdiff.el +++ /dev/null @@ -1,12 +0,0 @@ -;; Temporary file, just for test -(defun coq-show-proof-fun () - (interactive) - ;; TODO: Check if we are in a proof - (when coq-show-proof-stepwise - (when (eq coq-diffs 'off) - (proof-shell-invisible-command "Show Proof." )) - (when (eq coq-diffs 'on) - (proof-shell-invisible-command "Show Proof Diffs.")) - (when (eq coq-diffs 'removed) - (proof-shell-invisible-command "Show Proof Diffs removed."))) - ) |