# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1339014521 -10800
# Node ID 054d954a435e69933cbbfdc398bfdb2a431f47d7
# Parent  ad6675a2cc8ed4ef7c624c0ed7fe8e167b4a357c# Parent  900edc8d663e2db557b916a76d108670021bbc69
merged

diff -r ad6675a2cc8e -r 054d954a435e .emacs-my
--- 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")