* Info
The file file:./debTeach.ova is a VirtualBox appliance. It contains a
Debian system (``jessie"), configured for editing TEI XML with
GNU emacs24.
To use it, first install VirtualBox
(https://www.virtualbox.org/wiki/Downloads), and then choose ``Import
Appliance" from the ``File" menu.