Hi, yes porting the <a href="http://ocaml-tutorial.org">ocaml-tutorial.org</a> content was one of our first big tasks. We didn't port all the non-English versions of the tutorials, but did take every tutorial in English. Sylvain, it was very good you had this mirror!<div>
<br><br><div class="gmail_quote">On Thu, Jan 10, 2013 at 5:06 PM, Sylvain Le Gall <span dir="ltr"><<a href="mailto:sylvain+ocaml@le-gall.net" target="_blank">sylvain+ocaml@le-gall.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr">Didn't notice, good to see this has been reused.</div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><br><div class="gmail_quote">2013/1/10 Amir Chaudhry <span dir="ltr"><<a href="mailto:amc79@cam.ac.uk" target="_blank">amc79@cam.ac.uk</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><br>
On 10 Jan 2013, at 21:06, Sylvain Le Gall <<a href="mailto:sylvain%2Bocaml@le-gall.net" target="_blank">sylvain+ocaml@le-gall.net</a>> wrote:<br>
<br>
> Hi,<br>
><br>
> Note that there is:<br>
> <a href="http://mirror.ocamlcore.org/ocaml-tutorial.org/index.html" target="_blank">http://mirror.ocamlcore.org/ocaml-tutorial.org/index.html</a><br>
><br>
> Which is willing to be rehosted elsewhere (this was just a backup before cocan went down). I think it should be nice to copy/paste content from here to another wiki.<br>
<br>
</div>Isn't most of this content already at <a href="http://ocaml.org/tutorials/" target="_blank">http://ocaml.org/tutorials/</a><br>
<span><font color="#888888"><br>
amir</font></span></blockquote></div><br></div>
</div></div><br>_______________________________________________<br>
Infrastructure mailing list<br>
<a href="mailto:Infrastructure@lists.ocaml.org">Infrastructure@lists.ocaml.org</a><br>
<a href="http://lists.ocaml.org/listinfo/infrastructure" target="_blank">http://lists.ocaml.org/listinfo/infrastructure</a><br>
<br></blockquote></div><br></div>