Stream: VsCoq devs & users

Topic: idtac output

Alix Trieu (Jun 27 2021 at 16:19):

Possibly stupid question, but where does the output of idtac appear ? I can't seem to find it.

Ali Caglayan (Jun 28 2021 at 08:53):

Did you check the notices tab? Sometimes things like Search get output there.

Alix Trieu (Jun 28 2021 at 08:59):

Didn't notice there were different tabs, it was in the Info tab, thanks for the help !

Last updated: Jun 04 2023 at 23:30 UTC