Makefile.xemacs - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/Makefile.xemacs

blob: 6d39a7b84031a498e5a99b32c8542a3d15e89a82 (plain)

##
## Makefile for Proof General XEmacs package.
## 
## Author:  David Aspinall <da@dcs.ed.ac.uk>
##
## $Id$
##