| April 30, 13 | 
| 17:21 | 
OpenFlow version hell | 
Prashanth Mundkur | 
 | 
| 12:19 | 
Re: Reminder: Mirage weekly call - 30 Apr at 1600 BST | 
Richard Mortier | 
 | 
| 08:41 | 
Reminder: Mirage weekly call - 30 Apr at 1600 BST | 
Anil Madhavapeddy | 
 | 
| April 29, 13 | 
| 13:13 | 
Re: [ocl-staff] Need more polymorphism | 
Leo White | 
 | 
| 11:37 | 
Need more polymorphism | 
Euan Harris | 
 | 
| 07:28 | 
Re: FYI: fix for xen ring corruption/deadlock issue | 
Anil Madhavapeddy | 
 | 
| April 28, 13 | 
| 22:19 | 
FYI: fix for xen ring corruption/deadlock issue | 
David Scott | 
 | 
| April 26, 13 | 
| 18:57 | 
Re: Reminder: Mirage weekly call - 23 Apr at 1600 BST | 
Anil Madhavapeddy | 
 | 
| April 25, 13 | 
| 15:28 | 
Re: FLOW, DATAGRAM, CHANNEL, RPC | 
Anil Madhavapeddy | 
 | 
| 14:33 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Anil Madhavapeddy | 
 | 
| 14:27 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Vincent Bernardoff | 
 | 
| 14:06 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Thomas Gazagnaire | 
 | 
| 13:51 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Anil Madhavapeddy | 
 | 
| 13:30 | 
FLOW, DATAGRAM, CHANNEL, RPC | 
Vincent Bernardoff | 
 | 
| April 24, 13 | 
| 21:27 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Anil Madhavapeddy | 
 | 
| 21:12 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Vincent B. | 
 | 
| 20:08 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Stephen Dolan | 
 | 
| 19:37 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Anil Madhavapeddy | 
 | 
| 19:29 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Anil Madhavapeddy | 
 | 
| 17:49 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Stephen Dolan | 
 | 
| 17:34 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Daniel BÃnzli | 
 | 
| 10:37 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Anil Madhavapeddy | 
 | 
| April 23, 13 | 
| 19:36 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Thomas Gazagnaire | 
 | 
| 19:35 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Thomas Gazagnaire | 
 | 
| 19:29 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Daniel BÃnzli | 
 | 
| 18:44 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Vincent B. | 
 | 
| 18:24 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Anil Madhavapeddy | 
 | 
| 18:22 | 
Re: mirage-fs and ocaml-crunch | 
Anil Madhavapeddy | 
 | 
| 17:40 | 
mirage-fs and ocaml-crunch | 
Vincent Bernardoff | 
 | 
| 16:58 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
David Sheets | 
 | 
| 16:49 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Daniel BÃnzli | 
 | 
| 14:40 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Thomas Gazagnaire | 
 | 
| 14:28 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Anil Madhavapeddy | 
 | 
| 14:23 | 
dev preview release checklist started | 
Anil Madhavapeddy | 
 | 
| 14:20 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Vincent Bernardoff | 
 | 
| 14:05 | 
Re: Cryptokit.Random unsuitable in cooperative multithreaded systems | 
Anil Madhavapeddy | 
 | 
| 13:58 | 
Cryptokit.Random unsuitable in cooperative multithreaded systems | 
David Sheets | 
 | 
| April 22, 13 | 
| 14:29 | 
Reminder: Mirage weekly call - 23 Apr at 1600 BST | 
Amir Chaudhry | 
 | 
| 09:32 | 
Re: [Caml-list] VSTTE Competition 2013 Second Announcement | 
Anil Madhavapeddy | 
 | 
| 08:25 | 
Fwd: [Caml-list] VSTTE Competition 2013 Second Announcement | 
Jeremy Yallop | 
 | 
| April 18, 13 | 
| 00:21 | 
Re: Mirage release weekly call: Tue 1600 GMT | 
Anil Madhavapeddy | 
 | 
| April 16, 13 | 
| 00:34 | 
Re: mirage + froc = self-scaling? | 
Daniel BÃnzli | 
 | 
| April 15, 13 | 
| 16:38 | 
Re: Mirage release weekly call: Tue 1600 GMT | 
David Scott | 
 | 
| 15:22 | 
Re: Mirage release weekly call: Tue 1600 GMT | 
Amir Chaudhry | 
 | 
| April 14, 13 | 
| 16:29 | 
OCaml Hacking session/meetup - Thu 18th Apr at 6:30pm in Makespace | 
Amir Chaudhry | 
 | 
| April 12, 13 | 
| 13:25 | 
Re: OCaml Labs Meeting - 12th April at 2pm in the Computer Lab | 
Jon Crowcroft | 
 | 
| April 11, 13 | 
| 20:23 | 
Microsoft-funded PhD opportunity (software/ system verification) | 
Tom Ridge | 
 | 
| 14:52 | 
Re: mirage + froc = self-scaling? | 
Richard Mortier | 
 | 
| 12:46 | 
Re: OCaml Labs Meeting - 12th April at 2pm in the Computer Lab | 
Amir Chaudhry | 
 | 
| 12:34 | 
Re: OCaml Labs Meeting - 12th April at 2pm in the Computer Lab | 
Amir Chaudhry | 
 | 
| April 10, 13 | 
| 16:14 | 
Re: [Xen-users] [Xen-devel] Request for input: Extended event channel	support | 
Anil Madhavapeddy | 
 | 
| 13:40 | 
Re: mirage + froc = self-scaling? | 
Daniel BÃnzli | 
 | 
| 13:31 | 
Re: mirage + froc = self-scaling? | 
Ashish Agarwal | 
 | 
| 12:00 | 
Re: mirage + froc = self-scaling? | 
Richard Mortier | 
 | 
| 11:58 | 
Re: mirage + froc = self-scaling? | 
Richard Mortier | 
 | 
| 10:46 | 
Re: [Xen-users] [Xen-devel] Request for input: Extended event	channel support | 
Ian Campbell | 
 | 
| 10:45 | 
Re: [Xen-devel] Request for input: Extended event channel support | 
Ian Campbell | 
 | 
| April 09, 13 | 
| 22:50 | 
Re: mirage + froc = self-scaling? | 
Daniel BÃnzli | 
 | 
| 12:08 | 
Google Summer of Code 2013 | 
Lars Kurth | 
 | 
| 09:16 | 
Re: mirage + froc = self-scaling? | 
Richard Mortier | 
 | 
| 07:34 | 
Re: mirage + froc = self-scaling? | 
Raphael Proust | 
 | 
| April 08, 13 | 
| 23:44 | 
Re: mirage + froc = self-scaling? | 
Daniel BÃnzli | 
 | 
| 15:38 | 
Re: Mirage release weekly call: Tue 1600 GMT | 
Anil Madhavapeddy | 
 | 
| April 07, 13 | 
| 23:11 | 
Mirage release weekly call: Tue 1600 GMT | 
Anil Madhavapeddy | 
 | 
| April 06, 13 | 
| 16:18 | 
Re: [GSoC'13] Towards a Java-language unikernel substrate for Xen | 
Anil Madhavapeddy | 
 | 
| 13:35 | 
[GSoC'13] Towards a Java-language unikernel substrate for Xen | 
QIU Shuang | 
 | 
| April 03, 13 | 
| 19:16 | 
OCaml Labs Meeting - 12th April at 2pm in the Computer Lab | 
Amir Chaudhry | 
 | 
| April 02, 13 | 
| 15:00 | 
Re: Mirari template | 
Anil Madhavapeddy | 
 | 
| 10:26 | 
Re: Mirari template | 
Dave Scott | 
 | 
| 00:13 | 
Re: mirage + froc = self-scaling? | 
Anil Madhavapeddy | 
 | 
| 00:05 | 
Re: Mirari template | 
Anil Madhavapeddy | 
 | 
| 00:04 | 
Re: Mirari template | 
Anil Madhavapeddy | 
 | 
| April 01, 13 | 
| 15:50 | 
Re: mirage + froc = self-scaling? | 
Pierre Chambart | 
 | 
| 14:35 | 
Re: Mirari template | 
Dave Scott | 
 |