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 <makarius@sketis.net>
* 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.

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Mar 04 2024 at 12:30 UTC