Re: [isabelle] build output



On 01/03/2021 12:55, Tobias Nipkow wrote:
> In the past the build script would tell me precisely where it put a file, now
> I only get the info that the presentation is in a certain directory and I have
> to dig down from there, which is less convenient.

Maybe something got lost in recent reworking of Isabelle PDF and HTML output.

Can you say more specifically which important messages from past releases got
lost?


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.