From: Makarius <makarius@sketis.net>
A young student has recently shown me "Kanban boards" (or "Trello boards"), so
I have updated the existing project tags on Isabelle/Phabricator slightly,
notably https://isabelle-dev.sketis.net/tag/isabelle-release and
https://isabelle-dev.sketis.net/tag/provers
This is only a small part of the actual TODO list for the release, but it
might help in overall communication and coordination.
(I don't want to spend to much time on publicly visible activity, or rather
"agility" just to look cool.)
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Last updated: Feb 11 2025 at 12:37 UTC