Hi,

because nobody answered to my poll on the coq mailing list
(https://sympa-roc.inria.fr/wws/arc/coq-club/2011-02/msg00059.html),
I suggest to not further support coq-auto-compile-vos.

Bye,

Hendrik
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to