Timeline
May 22, 2011:
May 16, 2011:
May 4, 2011:
- 3:23 AM Ticket #2 (Make us a new logo for the trac) closed by
- fixed
- 1:06 AM WikiStart edited by
- Added a talk (diff)
May 2, 2011:
May 1, 2011:
- 9:16 AM WikiStart edited by
- (diff)
- 9:12 AM Ticket #4 (Functional pretty-printing) closed by
- scheduled
- 9:01 AM WikiStart edited by
- (diff)
- 9:01 AM WikiStart edited by
- Add Tony's talk for July (diff)
- 2:05 AM Ticket #4 (Functional pretty-printing) created by
- A longer talk about pretty-printing combinator libraries and a …
Apr 28, 2011:
Apr 27, 2011:
- 8:29 AM WikiStart edited by
- moved my talk from July to June (diff)
- 8:26 AM WikiStart edited by
- added myself as a speaker in july (diff)
- 2:30 AM WikiStart edited by
- (diff)
- 2:30 AM WikiStart edited by
- (diff)
- 1:56 AM WikiStart edited by
- (diff)
- 1:54 AM Members edited by
- (diff)
- 1:53 AM WikiStart edited by
- (diff)
- 1:52 AM WikiStart edited by
- (diff)
Apr 26, 2011:
Apr 25, 2011:
- 5:15 AM Ticket #3 (An L4.verified retrospective.) created by
- I've given a talk about theorem provers before. I also have some …
- 2:32 AM Members edited by
- (diff)
Apr 23, 2011:
Note: See TracTimeline
for information about the timeline view.
