Next: LaTeXLEGO Up: Tools

Emacs support (out of date!)

You are encouraged to use Emacs and lego-mode, a major mode for editing LEGO proof scripts. We recommend that you use at least either Emacs 19.34 or XEmacs 19.14.

Ftp information

lego-mode.el.gz

lego-mode.elc.gz

Documentation

Installation
Customisation
Current Developments

Last modified: Fri Jan 15 15:04:18 GMT 1999 by LEGO Team <lego@dcs.ed.ac.uk>