http://os-vps418.infomaniak.ch:1250/mediawiki/index.php?action=history&feed=atom&title=Bindlib 2026-05-21T07:45:07Z Historique des versions pour cette page sur le wiki MediaWiki 1.39.4 http://os-vps418.infomaniak.ch:1250/mediawiki/index.php?title=Bindlib&diff=2854&oldid=prev 2008-11-10T12:25:15Z

<p>description</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="fr"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Version précédente</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version du 10 novembre 2008 à 12:25</td> </tr><tr> <td colspan="2" class="diff-lineno">Ligne 1 :</td> <td colspan="2" class="diff-lineno">Ligne 1 :</td> </tr> <tr> <td colspan="2" class="diff-empty diff-side-deleted"></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>bindlib is a library and a camlp4 extension for the Objective-Caml language providing reasonable tools to write programs manipulating data structures with bound variables (like lambda-calculus or quantified formulae). It is quite efficient and easy to use (thanks to the camlp4 extension).</div></td> </tr> <tr> <td colspan="2" class="diff-empty diff-side-deleted"></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>The current version of bindlib is 3.2 and it is accessible from </div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>The current version of bindlib is 3.2 and it is accessible from </div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[http://www.lama.univ-savoie.fr/~raffalli/bindlib this web site]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[http://www.lama.univ-savoie.fr/~raffalli/bindlib this web site]</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><br /></td> <td colspan="2" class="diff-empty diff-side-added"></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>This is the wiki for the bindlib library ...</div></td> <td colspan="2" class="diff-empty diff-side-added"></td> </tr> </table>

Lvaux http://os-vps418.infomaniak.ch:1250/mediawiki/index.php?title=Bindlib&diff=1990&oldid=prev 2008-03-31T09:30:25Z

<p></p> <p><b>Nouvelle page</b></p><div>The current version of bindlib is 3.2 and it is accessible from <br /> [http://www.lama.univ-savoie.fr/~raffalli/bindlib this web site]<br /> <br /> This is the wiki for the bindlib library ...</div>

Raffalli