Update ProofGeneral to the latest (development) version in anticipation
of a math/isabelle 2004 -> 2005 update.
This pre-release version is required for Isabelle 2005. Some months
have passed without an official release of ProofGeneral 3.6.
I'll take it.
I can't test it. My tinderbox don't compile xemacs21-mule
The last hunk of the patch file (@@ -369,7 +426,7 @@) should be removed,
it inadvertently undoes the good work of edwin (ports/88711).