HomeIsabelle/Phabricator
Nitpick/Kodkod may be invoked directly within the running Isabelle/Scala session

HOL

  • Nitpick/Kodkod may be invoked directly within the running Isabelle/Scala session (instead of an external Java process): this improves reactivity and saves resources. This experimental feature is guarded by system option kodkod_scala (default: false).

This refers to Isabelle/5c057abc1b78.

Written by makarius on Aug 25 2020, 3:44 PM.
User
Projects
None
Subscribers
None

Event Timeline