Paolo Herms <> writes:

   every file is actually compiled twice. So nobody would
   reasonably process the whole buffer after having edited it
   somewhere in the middle just to trigger the automatic

I don't understand. Could you elaborate? Why is every file
compiled twice?

   Also, a completely processed buffer doesn't seem
   to be retracted when starting to process another buffer. This

This is a problem, agreed. But I expect this to be a simple fix.


ProofGeneral-devel mailing list

Reply via email to