Very nice!

On 2016-11-16 06:06, Hendrik Tews wrote:
> Hi,
> I opend a PR for comments with a first version of -quick support,
> see the quick branch on The
> solution has advantages over using make because the quick options
> accept an up-to-date .vo file for prerequisites (make insists on
> producing .vio files for all files). Further, it does not suffer
> from the consistency issue that make has: Proof General will
> delete outdated .vo when compiling or relying on a .vio.
> Bye,
> Hendrik
> _______________________________________________
> ProofGeneral-devel mailing list

Attachment: signature.asc
Description: OpenPGP digital signature

ProofGeneral-devel mailing list

Reply via email to