Paolo Herms <paolo.he...@lri.fr> writes:

   Currently
   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
   compilation. 

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.

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