Stream: VsCoq devs & users

Topic: idtac output


view this post on Zulip 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.

view this post on Zulip Ali Caglayan (Jun 28 2021 at 08:53):

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

view this post on Zulip 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: Jan 30 2023 at 16:03 UTC