[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Toolbox and colors
Use the "Check Status of Step or Module" command (Control+G Control+T) with the cursor
outside any proof step. It recolors everything using fingerprints. It's not as fast as we would
like, but it doesn't rerun any proofs.
Thank you, it works fine.
(This problem also reveals me that I had added a RECURSIVE construction
in a LET and that it was allowed by toolbox whereas it is not allowed
by the grammar.)