[isabelle] Isabelle2009: Where's the [!] after lemmas that are not proven ?
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 ?
This archive was generated by a fusion of
Pipermail (Mailman edition) and