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