Alex Kozlov f47f91d2a0 - 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)		2012-07-12 14:05:30 +00:00
..
patch-doc-Makefile.doc
patch-etc_desktop_proofgeneral.desktop	- Update to 4.1	2012-04-19 22:38:31 +00:00
patch-isar-interface
patch-Makefile	- Update to 4.1	2012-04-19 22:38:31 +00:00
pkg-message.in