[isabelle-dev] Annotations in Theories panel not visible

Lars Noschinski noschinl at in.tum.de
Tue Mar 18 13:44:44 CET 2014


I just noticed (in f0d2609c4cdc) that not all warnings and errors are
visible in the Theories panel. If I run

   isabelle jedit -l Pure src/Pure/Main.thy

and watch the Theories panel, I see that there are some warning e.g. in
Orderings. However, as soon as Orderings is finished, the annotations
for Orderings disappear (in the Theories panel). This happens with some,
but not all theories (e.g., Code_Generator or Ctr_Sugar keep their
annotations). This happens not only for warnings, but also for errors.

  -- Lars

More information about the isabelle-dev mailing list