From b4a2b04706d0b86bcd9fd47c77a2c579805196a0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20Neumann?= <rene.neumann@in.tum.de>
Date: Mon, 21 Nov 2011 14:46:34 +0100
Subject: Set Poly/ML as the default SML interpreter.

---
 .emacs | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.emacs')

diff --git a/.emacs b/.emacs
index 61d2b51..a82ea45 100644
--- a/.emacs
+++ b/.emacs
@@ -18,6 +18,9 @@
 (color-theme-initialize)
 (color-theme-charcoal-black)
 
+;; use Poly/ML as SML interpreter
+(setq sml-program-name "poly")
+
 ;; key bindings
 (add-hook 'proof-mode-hook
   (lambda () (local-set-key (kbd "M-c") 'unicode-tokens-insert-token)))
-- 
cgit v1.2.3