Additional Material Concerning Installation of Agda
List of symbols for the leim mode under Agda
This file shows the tex commands used in the leim mode in order to allow insertion of special symbols in Emacs.
Instructions for installing the abbreviation mode
This makes typing in special symbols much more easy.
Last modified: Wed Apr 23 18:41:01 BST 2008