summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--.emacs3
1 files changed, 3 insertions, 0 deletions
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)))