Merge branch 'master' of github.com:ProofGeneral/PG

2 files changed, 6 insertions, 1 deletions

diff --git a/INSTALL b/INSTALL
index 31331c2f..3b496bd7 100644
--- a/INSTALL
+++ b/INSTALL
@@ -57,7 +57,7 @@ Detailed installation Notes for Proof General
 Supported Emacs Versions.
 -------------------------
 
-Please see COMPATIBILTY.
+Please see COMPATIBILITY.
 
 If you're not sure of your version of Emacs, inspect the variable
 `emacs-version' by doing:
diff --git a/coq/coq.el b/coq/coq.el
index d3009696..96a9bf41 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1066,6 +1066,11 @@ With flag Printing All if some prefix arg is given (C-u)."
       (coq-ask-do-show-all "Print" "Print")
     (coq-ask-do "Print" "Print")))
 
+(defun coq-Print-Ltac ()
+  "Ask for an ident and print the corresponding Ltac term."
+  (interactive)
+  (coq-ask-do "Print Ltac" "Print Ltac"))
+
 (defun coq-Print-with-implicits ()
   "Ask for an ident and print the corresponding term."
   (interactive)