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 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
> 

Attachment: signature.asc
Description: OpenPGP digital signature

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

Reply via email to