Enable Proof General.