Double clutching is pointless in our car (b/c we have synchros). Everyone's right about that. But, double clutching is where you push the clutch in, put it into neutral and let the clutch out. Then, you push the clutch back in and shift to the next gear as normal. It is a way of manually emulating the synchros to speed match your shifts. Double clutching in our cars will just wear the clutch needlessly.