Timeline

View changes from
going back days
by author

Milestones completed Tickets opened and closed Repository changesets Wiki changes

Sep 4, 2011:

9:13 PM Past/2011 edited by Erik de Castro Lopo

(diff)

8:56 PM WikiStart edited by Erik de Castro Lopo

(diff)

Aug 31, 2011:

9:41 PM WikiStart edited by Erik de Castro Lopo

(diff)

9:41 PM Past/2011 edited by Erik de Castro Lopo

(diff)

Aug 30, 2011:

10:48 PM WikiStart edited by Raphael Speyer

moved talk from August to November (diff)

Aug 24, 2011:

3:36 PM WikiStart edited by Ben Sinclair

Moved myself down a month to make room for MarkW and BenL. (diff)

Aug 19, 2011:

9:59 AM WikiStart edited by Erik de Castro Lopo

Insert Jan 2012 (diff)

Aug 17, 2011:

2:19 AM WikiStart edited by Ben Lippmeier

(diff)

Aug 12, 2011:

3:39 AM WikiStart edited by Erik de Castro Lopo

Change date of Sept meeting, Add RG's Dependent Types talk (diff)