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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
