Pierre Courtieu writes:
> I think there are people using it but I suspect it is only by lack of _
> CoqProject file.
I don't quite understand, how is a missing _CoqProject file
connected with using sequential compilation?
> Do we support vio compilation?
No, see the other thread.
> If we do
Hi,
how long do we want to keep the sequential and blocking
compilation implemented in coq-seq-compile.el? Is anybody
actually using it?
I am asking because I am not really motivated to maintain this
code. If you look at the 8.5 changes, many things had to be done
twice, in coq-seq-compile and in
