diff options
| author | René Neumann <rene.neumann@in.tum.de> | 2011-11-21 14:46:34 +0100 |
|---|---|---|
| committer | René 'Necoro' Neumann <necoro@necoro.net> | 2011-11-21 14:47:04 +0100 |
| commit | b4a2b04706d0b86bcd9fd47c77a2c579805196a0 (patch) | |
| tree | 0c8307cf2478b12db9127630f765df2a40a8d805 /.emacs | |
| parent | 3439bdcb47f41a06d2d6568defc7bbc11c262058 (diff) | |
| download | dotfiles-b4a2b04706d0b86bcd9fd47c77a2c579805196a0.tar.gz dotfiles-b4a2b04706d0b86bcd9fd47c77a2c579805196a0.tar.bz2 dotfiles-b4a2b04706d0b86bcd9fd47c77a2c579805196a0.zip | |
Set Poly/ML as the default SML interpreter.
Diffstat (limited to '.emacs')
| -rw-r--r-- | .emacs | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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))) |