On 01/06/2017 05:45 PM, Ralf Jung wrote:
> I only today learned about "make -k" from your changes, that will be
> very useful indeed and may already be enough -- it will tell me which
> other files need fixing.

Yesh, that's what I was going to suggest from your post :) It's the default if 
you run make from emacs (M-x compile)

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