https://at.bht.fr/astroWiki/index.php?action=history&feed=atom&title=Mod%C3%A8le%3ACoq_Ex 2026-07-22T16:15:55Z Historique des révisions pour cette page sur le wiki MediaWiki 1.36.1 https://at.bht.fr/astroWiki/index.php?title=Mod%C3%A8le:Coq_Ex&diff=1485&oldid=prev 2021-09-04T07:48:40Z

<p>1 version importée</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="fr"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Version précédente</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Version du 4 septembre 2021 à 07:48</td> </tr><tr><td colspan="2" class="diff-notice" lang="fr"><div class="mw-diff-empty">(Aucune différence)</div> </td></tr></table>

WikiAdmin https://at.bht.fr/astroWiki/index.php?title=Mod%C3%A8le:Coq_Ex&diff=1484&oldid=prev 2019-03-08T12:43:01Z

<p>1 révision importée</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="fr"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Version précédente</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Version du 8 mars 2019 à 12:43</td> </tr><tr><td colspan="2" class="diff-notice" lang="fr"><div class="mw-diff-empty">(Aucune différence)</div> </td></tr></table>

toross>WikiAdmin https://at.bht.fr/astroWiki/index.php?title=Mod%C3%A8le:Coq_Ex&diff=639&oldid=prev 2019-01-14T19:24:08Z

<p>1 révision importée</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="fr"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Version précédente</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Version du 14 janvier 2019 à 19:24</td> </tr><tr><td colspan="2" class="diff-notice" lang="fr"><div class="mw-diff-empty">(Aucune différence)</div> </td></tr></table>

WikiAdmin https://at.bht.fr/astroWiki/index.php?title=Mod%C3%A8le:Coq_Ex&diff=638&oldid=prev 2018-10-02T22:55:09Z

<p>1 révision importée</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="fr"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Version précédente</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Version du 2 octobre 2018 à 22:55</td> </tr><tr><td colspan="2" class="diff-notice" lang="fr"><div class="mw-diff-empty">(Aucune différence)</div> </td></tr></table>

WikiAdmin https://at.bht.fr/astroWiki/index.php?title=Mod%C3%A8le:Coq_Ex&diff=207&oldid=prev 2015-08-17T21:01:52Z

<p>1 révision importée</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="fr"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Version précédente</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Version du 17 août 2015 à 21:01</td> </tr><tr><td colspan="2" class="diff-notice" lang="fr"><div class="mw-diff-empty">(Aucune différence)</div> </td></tr></table>

WikiAdmin https://at.bht.fr/astroWiki/index.php?title=Mod%C3%A8le:Coq_Ex&diff=206&oldid=prev 2014-01-29T21:14:17Z

<p>1 version</p> <p><b>Nouvelle page</b></p><div>&lt;includeonly&gt;{|style='width:100%'<br /> |-<br /> |style='background-color:#FFFFD0;padding-left:1em;padding-right:1em;border-bottom-style:dashed;border-bottom-width:1px;border-bottom-color:#808080;'|{{#tag:source|{{{c|}}}|enclose='div'|style='border-style:solid'|lang=ocaml|}}<br /> |-<br /> |style='background-color:#D0FFD0;padding-left:1em;padding-right:1em;border-top-style:dashed;border-top-width:1px;border-top-color:#808080;'|&lt;div style='font-family:monospace;'&gt;{{{o|}}}&lt;/div&gt;<br /> |}&lt;/includeonly&gt;&lt;noinclude&gt;<br /> {{Model <br /> |class=lang<br /> |texte=Exemple de code Coq.<br /> |syntaxe=&lt;nowiki&gt;{{Coq_Ex|c=|o=}}&lt;/nowiki&gt;<br /> |specification=<br /> ;c <br /> :Code<br /> ;o<br /> :Output <br /> }}<br /> Exemple : <br /> <br /> &lt;nowiki&gt;<br /> {{Coq_Ex<br /> |c=Definition three := 3.<br /> |o=three is defined<br /> }}&lt;/nowiki&gt; <br /> <br /> donnera :<br /> <br /> {{Coq_Ex<br /> |c=Definition three := 3.<br /> |o=three is defined<br /> }}<br /> <br /> &lt;/noinclude&gt;</div>

WikiAdmin