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

Alexander Krauss krauss at in.tum.de
Sun Feb 6 12:50:49 CET 2011

(please keep postings to isabelle-dev in English)

Tobias Nipkow wrote:
> Seit Wochen wenn nicht Monaten bekomme ich alle paar Tage diese
> Fehlermeldung:

More precisely, the error occurs (almost) daily since January 11th, 
according to my email archive.

> Fuehlt sich hier jemand zustaendig?

So far, I didn't really feel responsible, since I don't know how the doc 
test works and what its implicit assumptions are. It seems though that 
the IsaMakefile for IsarRef assumes that the images are already present, 
whereas, e.g., in doc-src/ZF/IsaMakefile it is rebuilt explicitly.


More information about the isabelle-dev mailing list