[isabelle-dev] [Fwd: doc test failed]

Sun Feb 6 10:00:13 CET 2011

Seit Wochen wenn nicht Monaten bekomme ich alle paar Tage diese
Fehlermeldung:

Running ZF-IsarRef ...
Unknown logic "ZF" -- no heap file found in:
  /home/isatest/isabelle-at-poly/heaps/polyml-5.2_x86-linux
  /mnt/home/isatest/isadist/Isabelle_06-Feb-2011/heaps/polyml-5.2_x86-linux
ZF-IsarRef FAILED

Fuehlt sich hier jemand zustaendig?

Tobias
-------------- next part --------------
An embedded message was scrubbed...
From: isatest at macbroy28.informatik.tu-muenchen.de (Account Isatest)
Subject: doc test failed
Date: Sun, 06 Feb 2011 08:20:21 +0100
Size: 13598
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20110206/ac679d13/attachment.eml>