Email Gateway (Dec 21 2022 at 21:42): 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: Dec 21 2024 at 16:20 UTC