Hi, 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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
