<div dir="ltr"><div><div><div><br></div>Hi Christophe<br><br></div>maybe that pre- or post- processing is meant to rely on MPP, another project of Philippe's :) ?<br><a href="https://github.com/pw374/MPP-language-blender">https://github.com/pw374/MPP-language-blender</a> <br>

<br></div>cheers<br><div>Seb<br><br></div><div><br><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Aug 8, 2013 at 1:13 PM, Christophe TROESTLER <span dir="ltr"><<a href="mailto:Christophe.Troestler@umons.ac.be" target="_blank">Christophe.Troestler@umons.ac.be</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Thu, 8 Aug 2013 14:14:08 +0200, Amir Chaudhry wrote:<br>
</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
<br>
Christophe, is your example referring to things like the 99 problems page [1, 2], where there are problems posed and clicking a button reveals the solution.  I'm not clear why this would be relevant to the Markdown implementation as html in the markdown file should be fine.<br>

</div>
[1] page: <a href="http://ocaml.org/tutorials/99problems.html" target="_blank">http://ocaml.org/tutorials/<u></u>99problems.html</a><br>
</blockquote>
<br>
The 99 problems page is what I was indeed thinking of.  Of course onecan always resort to HTML in case of need but I think that one should take opportunity of the "port" of the page to Markdown to do something better.  In particular, the text should be closer to the intendedsemantics if possible, e.g., say<br>


<br>
    @Question<br>
    ...<br>
    @Solution<br>
    ...<br>
    @Examples<br>
    ...<br>
    @end<br>
<br>
possibly with a line "@use Questions" at the beginning of the file ifit is deemed desirable to announce explicitly the active extensions for a given page.  I think such an extension mechanism is desirable¹⁻²⁻³ because it uses the principle of least surprise (syntax wise): once you read the documentation of the markdown parser, you know what constructs refer to outside code.  Otherwise, one may always preprocess Markdown files (adding HTML) before passing them to the parser but several incompatible extensions may appear (I'll certainly develop one for <a href="http://ocaml.org" target="_blank">ocaml.org</a>).<br>


<br>
Note that such an extension mechanism may also solve the specification of metadata at the beginning of the file (such as "@use template main").<br>
<br>
The possibility of adapting the output of standard elements would also be desirable.  What if you want to add an anchor to each paragraph or add some JavaScript around each code block?<br>
<br>
My 0.02€,<br>
C.<br>
<br>
<br>
¹ <a href="https://pypi.python.org/pypi/markdown-macros" target="_blank">https://pypi.python.org/pypi/<u></u>markdown-macros</a><br>
² <a href="http://kirbysayshi.com/2012/09/17/putting-macros-into-markdown.html" target="_blank">http://kirbysayshi.com/2012/<u></u>09/17/putting-macros-into-<u></u>markdown.html</a><br>
³ <a href="http://pythonhosted.org/Markdown/extensions/api.html" target="_blank">http://pythonhosted.org/<u></u>Markdown/extensions/api.html</a><div class="HOEnZb"><div class="h5"><br>
______________________________<u></u>_________________<br>
Infrastructure mailing list<br>
<a href="mailto:Infrastructure@lists.ocaml.org" target="_blank">Infrastructure@lists.ocaml.org</a><br>
<a href="http://lists.ocaml.org/listinfo/infrastructure" target="_blank">http://lists.ocaml.org/<u></u>listinfo/infrastructure</a><br>
</div></div></blockquote></div><br></div>