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. Jasmin