Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Bits and Words – Current matter of affairs


view this post on Zulip Email Gateway (Sep 17 2020 at 12:40):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Dear all,

as of rev. 58bc7e81bc7f, the last step in a series of continous
remoulding of the bits and words matter has been accomplished in the
Isabelle distribution.

Beside minor detail, this represents the envisaged state for the next
Isabelle release.

After that, the aim is to

The ultimate goal is that future development can happen mostly in the AFP.

See http://isabelle.in.tum.de/~haftmann/bits_and_word/ for a detailed
overview.

Cheers,
Florian
signature.asc


Last updated: Mar 28 2024 at 08:18 UTC