[isabelle] *** exception ValueMissing raised




I'm using a very recent version of Isabelle, and I get the message

*** exception ValueMissing raised

I can't find such an exception anywhere in the source code.

What does it mean, and where does it come from?

Thanks,

Jeremy






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