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 [email protected] - http://www.dcc.uchile.cl/~jfabry PLEIAD Lab - Computer Science Department (DCC) - University of Chile
