2007-11-10 auto_quickcheck ref: set default in ProofGeneral/preferences only
wenzelm [Sat, 10 Nov 2007 15:58:18 +0100] rev 25376
auto_quickcheck ref: set default in ProofGeneral/preferences only (retains responsiveness of plain tty interaction); auto_quickcheck: more messages, less complicated code;
2007-11-10 ProofGeneral/preferences: auto_quickcheck=true;
wenzelm [Sat, 10 Nov 2007 15:58:18 +0100] rev 25375
ProofGeneral/preferences: auto_quickcheck=true;
2007-11-10 qualified Proofterm.proofs;
wenzelm [Sat, 10 Nov 2007 14:36:33 +0100] rev 25374
qualified Proofterm.proofs;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip