June 21, 2012
3:48 p.m.
On 21 Jun 2012, at 10:55, Sven Van Caekenberghe wrote:
On 21 Jun 2012, at 11:29, Benjamin wrote:
[1] http://hal.inria.fr/docs/00/70/80/67/PDF/SpecTechReport.pdf
Hmm, documentation, lovely!
Indeed :-) There is some more documentation 'in the oven' as well, a paper that is currently under review :-) Hopefully we'll be able to say a bit more about this soon ... ---> Save our in-boxes! http://emailcharter.org <--- Johan Fabry jfabry@dcc.uchile.cl - http://www.dcc.uchile.cl/~jfabry PLEIAD Lab - Computer Science Department (DCC) - University of Chile