Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: Display of schematic goal instance


view this post on Zulip Email Gateway (Sep 09 2022 at 14:16):

From: Makarius <makarius@sketis.net>
* General *

This refers to Isabelle/a621e9fb295d.

Makarius


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

view this post on Zulip Email Gateway (Sep 09 2022 at 16:02):

From: Makarius <makarius@sketis.net>
OK. If this is going to be a blog entry about CTT or other "minor
object-logics", you can just tell readers to use regular Isabelle/HOL within
Isabelle/jEdit and direct the editor to the example files. Everything will be
loaded on the spot: these applications are very small for today's standards.

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 10:08 UTC