Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: Configuration option "show_results"

view this post on Zulip Email Gateway (Sep 22 2021 at 10:27):

From: Makarius <>
* General *

This refers to Isabelle/4974c3697fee.

It is mainly relevant for benchmarks or really big arrays of definitions and
theorems, where printing takes considerable time.


isabelle-dev mailing list

Last updated: Mar 04 2024 at 12:30 UTC