MRG home page
DReaM Group Resources
This is the dream group shared latex style files which macros for rippling annotations.
More LaTeX information
for local users
A tweaked SML mode for xemacs.
BibTeX file manipulation tool
Mathematical Reasoning Group, Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland
Tel: +44 (0)131 650 2733 Fax: +44 (0)131 650 6899
Please send corrections and suggestions for this page to the
DReaM Support Team
Unless explicitly stated otherwise all material on this web site is copyright © The University of Edinburgh.