MRG home page · Research · Publications · Projects · Software · People

University of Edinburgh

SML Resources

The following is a version of the sml mode for xemacs that has been tweaked. In particular, it provides a modified syntax highlighting, and some fixes to the sml buffer mode. It also opens *.ML files in SML mode (handy for PolyML/Isabelle programming).

The Files

You can download the gzipped tar file here which contains all needed files for xemacs.

Installation

This is based on the existing sml-mode most recently modified by Jens Peter Secher that is distributed with xemacs. Something like the following should be added to your .xemacs/custom.el file if you use PolyML/Isabelle.

;; to disable the old sml-mode in xemacs
(setq load-path (remove "/usr/share/xemacs/xemacs-packages/lisp/sml-mode/" load-path))

;; load the new version of the sml mode
(add-to-list 'load-path "PATH_TO_NEW_SML_MODE/sml-mode")
(load "sml-mode-startup")

;; set some default params - ie to start isabelle as the ml shell.
(setq sml-program-name "isabelle")
(setq sml-default-arg "HOL")

Documentation

See: http://www.xemacs.org/Documentation/packages/html/sml-mode.html

Mathematical Reasoning Group, School of Informatics, University of Edinburgh, Appleton Tower, Crichton Street, Edinburgh, EH8 9LE, Scotland
Tel: +44 (0)131 650 2708
Fax: +44 (0)131 650 6513
Please send corrections and suggestions for this page to Gordon Reid.
Unless explicitly stated otherwise all material on this web site is copyright © The University of Edinburgh.