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
