Hi,

I opend a PR for comments with a first version of -quick support,
see the quick branch on g...@github.com:hendriktews/PG.git. 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
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to