Re: trunk not compilable

[Pavel Sanda]

> Leuven, E. wrote:
>> on loading the user guide:
>
> Better now?

no, user guide still crashes.
pavel