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 [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
