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 [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
