Hello,

do you have some news about the "Desert-Spring-Time" project ?
Is there something new since April, 26th 2007  
[http://cia.vc/stats/project/Desert-Spring-Time?s_message=0R] ?

Where can we get the sources, continue the project or learn from it ?

Do you know a similar project i.e a formal OS in OCAML ?

Thank you,
    Gregory.





[french version]
Bonjour,

Auriez-vous des nouvelles du projet "Desert-Spring-Time" ?
Est-ce qu'il a avancé depuis le 26 avril 2007  
[http://cia.vc/stats/project/Desert-Spring-Time?s_message=0R] ?
Comment peut-on récupérer les sources pour poursuivre le projet ou s'en 
inspirer ?
Auriez-vous la connaissance d'un projet similaire (développement d'un OS 
formel en Ocaml) ?

Merci,
    Gregory.