--- a/.emacs-my	Wed Jun 06 23:28:22 2012 +0300
+++ b/.emacs-my	Wed Jun 06 23:28:41 2012 +0300
@@ -2006,6 +2006,14 @@
   )
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+(message "SML, Standard ML")
+
+(eval-after-load 'sml
+  '(progn
+     (define-key sml-mode-map (kbd "C-c C-p") 'sml-send-function)
+     ))
+
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 (message "javascript, js")
 
 ;; (if (>= emacs-major-version 23)
@@ -2166,6 +2174,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")