diff options
Diffstat (limited to 'lisp/org/ob-coq.el')
| -rw-r--r-- | lisp/org/ob-coq.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lisp/org/ob-coq.el b/lisp/org/ob-coq.el index 56a57cdf649..e473eac3301 100644 --- a/lisp/org/ob-coq.el +++ b/lisp/org/ob-coq.el @@ -27,7 +27,7 @@ ;; session evaluation is supported. Requires both coq.el and ;; coq-inferior.el, both of which are distributed with Coq. ;; -;; http://coq.inria.fr/ +;; https://coq.inria.fr/ ;;; Code: (require 'ob) @@ -76,3 +76,5 @@ create one. Return the initialized session." (get-buffer org-babel-coq-buffer)) (provide 'ob-coq) + +;;; ob-coq.el ends here |