Bug#707331: proofgeneral: incompatible with new Coq 8.4 features

Mon, 13 May 2013 00:57:18 -0700 

   this. Could you please update proofgeneral to that version?
   
Yes, it's on my todo list.

Hendrik


-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to