Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Isabelle/Phabricator project tags

view this post on Zulip Email Gateway (Dec 18 2020 at 11:19):

From: Makarius <>
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 and

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.)


isabelle-dev mailing list

Last updated: Mar 04 2024 at 10:08 UTC