Dear Yusuke Tanimura,

Please find the updated version of the document (Note: the rtf version loose the automatic contents generation, then I added by hand the section 1.3).  

To see which update we made please do "Find DIET" in the document ;-). 

I added three members. Abdelkader Amar (he do an important part of the code), Frédéric Desprez (GRAAL manager, he helps in design decision) and me. 

I'm in hollidays tomorrow and I will have no internet access during 15 days. If you have some questions during this time you can ask to Abdelkader Amar (Abdelkader.Amar@ens-lyon.fr)

Best regards

Eddy

PS: Just for the fun, find the log result in log.gz file of standard_test.c with DIET.