Page Menu
Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
isabelle-repository
Workboard
Members
Subprojects
Manage
Projects
isabelle-repository
Manage
Project History
Active
Public
Actions
Edit Details
Edit Menu
Edit Picture
Archive Project
Flag For Later
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
2019-09-24 23:16:07 (UTC+2)
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
edited Description.
(Show Details)
Sep 25 2019, 2:08 PM
2019-09-25 14:08:08 (UTC+2)
makarius
edited Description.
(Show Details)
Sep 26 2019, 11:44 AM
2019-09-26 11:44:32 (UTC+2)
makarius
added a member:
traytel
.
Sep 26 2019, 3:19 PM
2019-09-26 15:19:28 (UTC+2)
makarius
added a member:
alexander.krauss
.
Sep 30 2019, 4:45 PM
2019-09-30 16:45:37 (UTC+2)
makarius
edited Description.
(Show Details)
Oct 3 2019, 11:52 AM
2019-10-03 11:52:04 (UTC+2)
makarius
added a member:
immler
.
Oct 28 2019, 9:24 PM
2019-10-28 21:24:20 (UTC+1)
makarius
added a member:
pruvisto
.
Nov 20 2019, 10:48 AM
2019-11-20 10:48:18 (UTC+1)
makarius
added a member:
blanchette
.
Nov 22 2019, 10:27 PM
2019-11-22 22:27:27 (UTC+1)
makarius
added members:
florian.haftmann
,
lukas.bulwahn
.
Dec 11 2019, 9:32 PM
2019-12-11 21:32:18 (UTC+1)
makarius
added a member:
peter_lammich
.
Jan 13 2020, 11:50 AM
2020-01-13 11:50:33 (UTC+1)
makarius
added a member:
kleing
.
Feb 15 2020, 5:13 PM
2020-02-15 17:13:28 (UTC+1)