Page MenuHomePhabricator

Project History
ActivePublic

Details

Looks Like
isabelle-repository
Hashtags
#isabelle-repository
Description

Group of users with access to the main Isabelle repository.

Event Timeline

makarius created this project.Sep 24 2019, 11:16 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".