Closed leouk closed 11 years ago
in certain commands and in the middle of proofs there is a delay between the editor and the prover output window. Try findtheorems "Nat " to see. If there is a type/syntax error the display is immediate, though.
in certain commands and in the middle of proofs there is a delay between the editor and the prover output window. Try findtheorems "Nat " to see. If there is a type/syntax error the display is immediate, though.