Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: Message logs from session build data...

view this post on Zulip Email Gateway (Dec 10 2020 at 23:22):

From: Makarius <>
* System *

This refers to Isabelle/1dc2ad97e062. A few more refinements might be still

After more than 12 years, we are getting back to a sane session log facility,
not just random garbage.


isabelle build HOL
isabelle log -U -m100 HOL
isabelle log -U -m100 -v -T HOL.Set -T HOL.Nat HOL

(Technically this is based on PIDE markup + messages produced in batch-mode. I
will see what else can be done with it on the spot for the release.)


isabelle-dev mailing list

Last updated: Mar 04 2024 at 10:08 UTC