Email Gateway (Sep 26 2026 at 07:19): Email Gateway (Sep 26 2026 at 07:19):From: "Lammich, Peter (UT-EEMCS)" <cl-isabelle-users@lists.cam.ac.uk>
Hi list
I saw the invalid nesting of meta comments error: nice! I believe that's new?
But I got confused how to see the error message: there's no trace of it in the output tab where typically all the other errors go. In fact I don't see any way but hovering with the mouse and wait for a tooltip to access the error message
Peter
Sent from Outlook for Android<https://aka.ms/AAb9ysg>
Last updated: Oct 08 2026 at 21:07 UTC