Possibly stupid question, but where does the output of
idtac appear ? I can't seem to find it.
Did you check the notices tab? Sometimes things like
Search get output there.
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