[isabelle] sorry in innocent blue?

I just spent more than half an hour trying to figure out where the problem with
my (long) poof was after I had discovered that the proposition was definitely
not true. Eventually I found a single sorry was left, attached to a wrong claim.
If sorry - which is definietly dangerous - had a dangerous colour, I would have
spotted it more quickly.


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