Timeline

View changes from
going back days
by author

Milestones completed Tickets opened and closed Repository changesets Wiki changes

May 22, 2011:

2:57 AM WikiStart edited by Raphael Speyer

(diff)

May 16, 2011:

9:53 AM WikiStart edited by Erik de Castro Lopo

(diff)

9:53 AM WikiStart edited by Erik de Castro Lopo

(diff)

May 4, 2011:

3:23 AM Ticket #2 (Make us a new logo for the trac) closed by Ben Lippmeier

fixed

1:06 AM WikiStart edited by Sean

Added a talk (diff)

May 2, 2011:

6:49 AM Members edited by barkmadley

(diff)

6:49 AM Members edited by barkmadley

(diff)

6:48 AM Members edited by barkmadley

(diff)

May 1, 2011:

9:16 AM WikiStart edited by Ben Lippmeier

(diff)

9:12 AM Ticket #4 (Functional pretty-printing) closed by Ben Lippmeier

scheduled

9:01 AM WikiStart edited by Ben Lippmeier

(diff)

9:01 AM WikiStart edited by Ben Lippmeier

Add Tony's talk for July (diff)

2:05 AM Ticket #4 (Functional pretty-printing) created by Tony Sloane

A longer talk about pretty-printing combinator libraries and a …

Apr 28, 2011:

10:07 AM WikiStart edited by Erik de Castro Lopo

(diff)

Apr 27, 2011:

8:29 AM WikiStart edited by Raphael Speyer

moved my talk from July to June (diff)

8:26 AM WikiStart edited by Raphael Speyer

added myself as a speaker in july (diff)

2:30 AM WikiStart edited by Ben Lippmeier

(diff)

2:30 AM WikiStart edited by Ben Lippmeier

(diff)

1:56 AM WikiStart edited by shans

(diff)

1:54 AM Members edited by shans

(diff)

1:53 AM WikiStart edited by Erik de Castro Lopo

(diff)

1:52 AM WikiStart edited by Erik de Castro Lopo

(diff)

Apr 26, 2011:

11:31 PM WikiStart edited by Eric Torreborre

(diff)

Apr 25, 2011:

5:15 AM Ticket #3 (An L4.verified retrospective.) created by Thomas

I've given a talk about theorem provers before. I also have some …

2:32 AM Members edited by Ben Sinclair

(diff)