Hi,

coming back from holiday, I got the new double hit terminator
feature on checkout. Being not open-minded about new things, I
wanted to disable it. But how to do that?

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