Stream: General

Topic: Isabelle Phabricator

view this post on Zulip 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: Sep 25 2022 at 23:25 UTC