Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: Support for interactive document pre...


view this post on Zulip Email Gateway (Dec 21 2022 at 21:42):

From: Makarius <makarius@sketis.net>
* Document preparation *

This refers to Isabelle/b4a9c907e062. It is an important checkpoint where many
building blocks from the past few weeks, months, years are fit together, to
provide basic functionality that works.

Further small and big things will happen in this area. Ultimately, Isabelle is
a document preparation system and that aspect needs to be integrated
adequately into the PIDE game engine.

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