--- 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")