K 10
svn:author
V 2
ak
K 8
svn:date
V 27
2012-07-12T14:05:30.000000Z
K 7
svn:log
V 204
- Fix build with new texi2html
- Ignore attempts to compile with XEmacs, it is not supported by the ProofGeneral developers.

PR:	ports/169774
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu> (maintainer)

END
