Admin/ProofGeneral/interface
2009-11-26 wenzelm 2009-11-26 adhoc delay after font installation -- increases chance that Emacs will actually see them;
2009-11-26 wenzelm 2009-11-26 implicit font installation for Mac OS;
2009-11-26 wenzelm 2009-11-26 modernized interface script for PG 3.7.1 -- backport from PG 4.0 branch;