Kevin Ryde writes: Date: Wed, 25 Apr 2012 08:21:58 +1000 Subject: Bug#670341: proofgeneral: help mode access to source code Thanks for the hint! A fix is on the way.
Bye, Hendrik -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
