I cannot build the IsarImplementation Manual on 9fc17f9ccd6c:
Maybe some latest change broke the document generation.
Lukas
Running HOL-Thy ...
HOL-Thy FAILED
(see also
/home/bulwahn/.isabelle/./heaps/polyml-5.3.0_x86-linux/log/HOL-Thy)
***
*** The error(s) above occurred in document
On Wed, 28 Mar 2012, Lukas Bulwahn wrote:
I cannot build the IsarImplementation Manual on 9fc17f9ccd6c:
Maybe some latest change broke the document generation.
See now Isabelle/b9b2e183e94d.
We still don't have fully automatic doc tests, so it has to be checked
manually. Doing that I've
