[isabelle] Isabelle2009: Where's the [!] after lemmas that are not proven ?



Hi all,

up to Isabelle2008, when quick-and-dirty mode was off and a lemma was
"shown" with sorry,
ProofGeneral showed a [!] after the lemma and all lemmas depending on it.

This does not occur in Isabelle2009, there I cannot see whether my
statements depend on some unproven lemmas or not.
How can I enable this feature also in version 2009 ?


Best,
  Peter





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.