Page MenuHomeIsabelle/Phabricator

Project History
ArchivedPublic

Details

Looks Like
isabelle-dev
Hashtags
#isabelle-dev
Description

Support for the Isabelle development process: repositories, tasks, etc. This is a continuation of the isabelle-dev mailing list. This does not include access to the Isabelle repository yet (see also isabelle-repository).

NOTE: This group is somehow pointless, as the whole Phabricator installation is meant to support the isabelle-dev process. All registered users can participate by default,

Event Timeline

makarius created this project.Sep 24 2019, 10:13 PM
makarius created this object with visibility "Public (No Login Required)".
makarius created this object with edit policy "Administrators".
makarius created this object with join policy "No One".
makarius added a member: makarius.
makarius edited Description. (Show Details)
makarius edited Description. (Show Details)
makarius edited Description. (Show Details)
makarius added a member: kappelmann.
makarius archived this project.Sep 30 2019, 4:47 PM
makarius set this project's color to Red.