On Tue, Jan 8, 2013 at 12:21 AM, Christophe TROESTLER <span dir="ltr"><<a href="mailto:Christophe.Troestler@umons.ac.be" target="_blank">Christophe.Troestler@umons.ac.be</a>></span> wrote:<div><br><div class="gmail_quote">

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">> Another question: Is there a way to include an ocaml file ?<br>
<br>
</div>There was a couple of days ago but I removed if — it enabled to select<br>
lines but it was considered too brittle.<br></blockquote><div><br></div><div>Probably Maxence meant including entire files, which would be easy enough. The brittle-ness arose from specifying specific lines within a file to include, which would get out of sync whenever you modified the file.</div>

<div> </div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">I wonder though if it is not better then to pursue the idea further and</div>
allow (part of) the documents to be written in an extensible WIKI<br>
syntax (the extension would for example make possible to define<br>
buttons).  Not sure which way to go yet.<br></blockquote><div><br></div><div>We should start a document on the wiki, where we start listing the possible implementation techniques and their pros and cons.</div><div><br></div>

</div></div>