Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: Improved monitoring for Isabelle/ML ...


view this post on Zulip Email Gateway (Aug 13 2020 at 17:15):

From: Makarius <makarius@sketis.net>
* Isabelle/jEdit Prover IDE *

This refers to Isabelle/510ebf846696, which also contains some snippets of
documentation.

The monitoring is based on recent changes in Poly/ML by David Mattews. We can
now see better how the every growing applications make use of memory
resources, and potentially avoid exhausting them too early.

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