retitle 554263 ITA: proofgeneral -- generic interface for proof assistants - common package owner 554263 ! thanks Hi, I try to package a new version of Proof General and upload it to mentors.debian.net. Please contact me if you are interested in sponsoring Proof General. Bye, Hendrik