Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] build output


view this post on Zulip Email Gateway (Mar 01 2021 at 11:55):

From: Tobias Nipkow <nipkow@in.tum.de>
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.

Tobias
smime.p7s

view this post on Zulip Email Gateway (Jun 05 2021 at 11:27):

From: Makarius <makarius@sketis.net>
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


Last updated: Jul 15 2022 at 23:21 UTC