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: Apr 19 2024 at 00:02 UTC