Stéphane Glondu <[email protected]> writes: This is not acceptable to me. [...]
I don't fully agree, but I see your point. I suggest to wait then with prooftree until Coq 8.4 enters testing. Bye, Hendrik -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
