[isabelle-dev] Two problems

Jasmin Blanchette jasmin.blanchette at gmail.com
Mon Dec 3 23:18:02 CET 2012

Am 03.12.2012 um 23:08 schrieb Lawrence Paulson:

> Missing components maybe?

I did "isabelle components -a" earlier today. In fact, the issue is likely to be related to the big upgrade that resulted from my invocation of this very command yesterday night.


More information about the isabelle-dev mailing list