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 (maintainer) END