See the documentation topic PROOF-TREE-EMACS for how to start up and use proof
trees with emacs.  Also see PROOF-TREE for other information about proof trees.

The file README-mouse.doc in this directory explains additional features, not
currently supported though they may work, provided by this interface -- notably
mouse/menu support.
