Stream: General

Topic: Isabelle Phabricator

Kevin Kappelmann (Sep 27 2019 at 08:26):

Note that Makarius set up Phabricator for Isabelle, which might in the long-term replace the versioning system, dev-mailing list, and more. There's also a ticket system. See also this thread of the mailing list.

Last updated: Jun 12 2026 at 11:44 UTC