# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1338561504 -10800
# Node ID aa382d4f09f581703a2edd89481adf4de8d7cb13
# Parent  209250a782ff76778943f510c3cebb91b5a820c5
Define key binding 'proof-goto-point' for .thy file.

diff -r 209250a782ff -r aa382d4f09f5 .emacs-my
--- a/.emacs-my	Sat May 12 21:33:24 2012 +0300
+++ b/.emacs-my	Fri Jun 01 17:38:24 2012 +0300
@@ -2162,6 +2162,10 @@
      ;; (unicode-tokens-mode 1)
      ;; (proof-imenu-toggle 1)
      ))
+(eval-after-load 'isar
+  '(progn
+     (define-key isar-mode-map (kbd "C-c C-m") 'proof-goto-point)
+     ))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 (message "printing")