Re: Toolbox and colors

[fl <freder...@xxxxxxxxxxx>]

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.

 

Leslie

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.)

-- 

FL