Timeline



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)

Apr 23, 2011:

2:14 AM Members edited by Erik de Castro Lopo
(diff)
2:14 AM Members edited by Erik de Castro Lopo
(diff)
Note: See TracTimeline for information about the timeline view.