Projects isabelle-dev Manage

Project History
ArchivedPublic
Actions

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)Sep 24 2019, 11:16 PM

makarius edited Description. (Show Details)Sep 24 2019, 11:23 PM

makarius edited Description. (Show Details)Sep 24 2019, 11:29 PM

makarius edited Description. (Show Details)Sep 25 2019, 2:21 PM

makarius edited Description. (Show Details)

makarius edited Description. (Show Details)

makarius edited Description. (Show Details)

makarius edited Description. (Show Details)Sep 26 2019, 11:43 AM

makarius added a member: traytel.Sep 26 2019, 3:19 PM

makarius added a member: kappelmann.

makarius added a member: alexander.krauss.Sep 30 2019, 4:45 PM

makarius archived this project.Sep 30 2019, 4:47 PM

makarius edited Description. (Show Details)Sep 30 2019, 4:50 PM

makarius set this project's color to Red.