Browsing French translation

Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and French guidelines.
154163 of 54563 results
154.
This package contains source lisp files to the compiled libraries supplied in the ACL2-books package.
Description
Ce paquet contient les fichiers source lisp des bibliothèques compilées fournies dans le paquet ACL2-books.
Translated and reviewed by Pierre Slamich on 2011-07-09
Located in Package: acl2-books-source
155.
A Computational Logic for Applicative Common Lisp: documentation
Summary
Logique algorithmique pour le Common Lisp applicatif : documentation
Translated and reviewed by Pierre Slamich on 2012-09-22
Located in Package: acl2-doc
156.
This package contains the documentation for ACL2.
Description
Ce paquet contient la documentation de ACL2.
Translated by Thomas on 2011-04-20
Reviewed by Pierre Slamich on 2011-04-24
Located in Package: acl2-doc
157.
A Computational Logic for Applicative Common Lisp: emacs interface
Summary
Logique algorithmique pour le Common Lisp applicatif : interface emacs
Translated and reviewed by Pierre Slamich on 2012-09-22
Located in Package: acl2-emacs
158.
This package contains an emacs interface to ACL2.
Description
Ce paquet contient une interface emacs pour ACL2.
Translated by Thomas on 2011-04-20
Reviewed by Pierre Slamich on 2011-04-24
Located in Package: acl2-emacs
159.
A Computational Logic for Applicative Common Lisp: infix interface
Summary
Logique algorithmique pour le Common Lisp applicatif : interface infix
Translated and reviewed by Pierre Slamich on 2012-09-22
Located in Package: acl2-infix
160.
This package contains utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages.
Description
Ce paquet contient des utilitaires et des bibliothèques pour accéder à ACL2 via une notation infix semblable à celles utilisées dans de nombreux langages de programmation non-lisp.
Translated by SarahSlean on 2011-12-25
Reviewed by Pierre Slamich on 2011-12-31
Located in Package: acl2-infix
161.
A Computational Logic for Applicative Common Lisp: infix source
Summary
Logique algorithmique pour le Common Lisp applicatif : source infix
Translated and reviewed by Pierre Slamich on 2012-09-22
Located in Package: acl2-infix-source
162.
This package contains the source files to the infix interface to ACL2.
Description
Ce paquet contient les fichiers source pour l'interface infix de ACL2.
Translated by SarahSlean on 2011-12-25
Reviewed by Pierre Slamich on 2011-12-31
Located in Package: acl2-infix-source
163.
A Computational Logic for Applicative Common Lisp: source files
Summary
Logique algorithmique pour le Common Lisp applicatif : fichiers source
Translated and reviewed by Pierre Slamich on 2012-09-22
Located in Package: acl2-source
154163 of 54563 results

This translation is managed by Ubuntu French Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.

Contributors to this translation: 4E4F, AUGUSTIN BRONDINO, Abdoulaye, Alban V, Alexandre Franke, Anne017, Anthony Noël, Apophis666, Aquilon, ArnaultVandeveld, Arnold Couchard, Arthur Sauvage, Arzach, Ash26, Aurélien Ribeiro, Babey, Baptiste, Benitron, Bernos Guillaume, Bertrand Croq, Bi30, Blackestmajor, Bonsoir, Borni DHIFI, Bruno, Bruno Avet, Bruno Patri, Béranger Dumont, Cajuteq, Carcasse, CedS, Christophe Eschbach, Citron28, Clarence Snickers, CoudCoud, Damien H, DarkVodKa, David ., David Futcher, David Nottin, David Racine, Djainette, Eglantine Schmitt, Emmanuel Gil Peyrot, Enrico Rosina, Ersplus, Florent (LSc), Florian-delaroche, GIRONE Remi, Gaëtan Godineau, Gaëtan Petit, Geoffrey, Glyca, Goshu, GuiMol, Guillaume, Gwab, Havok Novak, Indhi Rousseau, Ir0nsh007er, J&V Georges, Jean-Christophe, Jean-Marc, Jerod212, Joachim R., Jonas Rockenbauer, Jonathan Pasquier, Julien, Julien Henry, Julien Humbert, JurisZombie, Kafi, Ktux, Laurent N, Laurent Thibaud, Le Bourhis Mikaël, Leduc, Lentdormi, Lolopro, Louis Dubois, Maeda, Majaaaax, Marot Célestin, Max, Michael Vogt, Mika, MilkaJinka, Moneron Xavier, NSV, NaSH, Nicolas Delvaux, Nicolas Maître, Nicolas Robin, OUBRAIM Rachid, Olivier Copetto, Olivier FAYOLLE, Olivier Febwin, OlivierT, Paer, Paquelier Alain, Pascal Maugendre, Paul Forget, Paulvirtuel, Philip Millan, Pierre Scacchi, Pierre Slamich, Pierre-Alexandre Racine, Pierre-Alexis, Pierrick Vandenbroucke, Pique, Quentin Santander, Ralphi2811, Robin Dumont-Chaponet, Romain, Romain DEJEAN, Roms, Rémi Larrouquis, Salvato-Vallverdu, SarahSlean, Seb24, Serge Pilon, Simon, Simon THOBY, St3ph, Stanislas Michalak, Stéphane, Stéphane Maniaci, Stéphane V, Sydney, Sylvie Gallet, Sébastien, Tarek, Teromene, Testing Tigerwolf, Thibault Févry, Thomas, Thomas Quaglio, Thomas.M, Titanet, Toxxic Zad, Tubuntu, Valentin Lorentz, YannUbuntu, Yayel, Yohann, Yvance77, _Syzygy_, arkan, axelle oxford, baj, bameylan, belbeoch, bloch, bpascal123, clement62910, dpl29, electroluth, elyr, fabkzo, flobe, fredurb1, gisele perreault, hamelin, hucste, idon'thaveaname, jdt37b, jean-bernard marcon, judejude, kleiber, kura, lann, ldmpub, le_youki, lebendre, ljere, londumas, louis1806, mart3300, mothsArt, oswald_volant, parislanuit, pythaboc, royto, samuel poette, seb35690, shunesburg69, slurbe, stagelll, thenasa, tiritchi, titouan le folgoc, yasmine, yeassay, ymadec.