Add hook for coq diff-highlighting routine

1 files changed, 5 insertions, 0 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 21b1acf9..0f6d6f84 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -58,6 +58,11 @@
 (require 'coq-abbrev)                   ; abbrev and coq specific menu
 (require 'coq-seq-compile)              ; sequential compilation of Requires
 (require 'coq-par-compile)              ; parallel compilation of Requires
+
+;; set hook for diff highlighting routine from non-Coq code
+(require 'coq-diffs)
+(setq pg-insert-text-function 'coq-insert-tagged-text)
+
 (defvar prettify-symbols-alist)