diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-12-20 14:42:21 +0100 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-12-20 14:42:21 +0100 |
commit | ebb55c998867fd13f8767a52a9542447347f7dc1 (patch) | |
tree | a2419396d62c3342e73e44099b8745d3201d09c7 /coq/coq-autotest.el | |
parent | 0c9565d4d69a94cf33db5f98b381c3332709aa1e (diff) | |
parent | 883ce2ff1092003b6341cfebd1d7b2ab31239a41 (diff) |
Merge branch 'master' of github.com:ProofGeneral/PG
Diffstat (limited to 'coq/coq-autotest.el')
-rw-r--r-- | coq/coq-autotest.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/coq/coq-autotest.el b/coq/coq-autotest.el index 8be4bed9..5ca66706 100644 --- a/coq/coq-autotest.el +++ b/coq/coq-autotest.el @@ -1,4 +1,4 @@ -;;; coq-autotest.el --- tests of Coq Proof General (in progress). +;;; coq-autotest.el --- tests of Coq Proof General (in progress) -*- lexical-binding:t -*- ;; This file is part of Proof General. @@ -21,7 +21,9 @@ (require 'proof-site) (defvar coq-compile-before-require) -(unless (bound-and-true-p byte-compile-current-file) +;;;###autoload +(defun coq-autotest () + (interactive) (pg-autotest start 'debug) |