Package Descriptions for Ubuntu

Browsing French translation

Before translating, be sure to go through Ubuntu Translators instructions and French guidelines.

Translating using as a guide.

273.

English:

This file contains certification records for the various precompiled libraries supplied in the ACL2-books package. ACL2 essentially requires that all included books be certified before use.

Description

Current French:

Ce fichier contient les enregistrements de certificats pour les différentes bibliothèques précompilées fournies dans le paquet ACL2-books. ACL2 nécessite essentiellement que les livres inclus soient certifiés avant utilisation.

Translated and reviewed by Pierre Slamich on 2012-09-22

Located in Package: acl2-books-certs

274.

English:

Computational Logic for Applicative Common Lisp: library sources

Summary

Current French:

Logique algorithmique pour Common Lisp applicatif[nbsp]: source des bibliothèques

Translated by Pierre Slamich on 2013-04-29

Reviewed by Pierre Slamich on 2013-05-01

Located in Package: acl2-books-source

275.

English:

This package contains source lisp files to the compiled libraries supplied in the ACL2-books package.

Description

Current French:

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

276.

English:

Computational Logic for Applicative Common Lisp: documentation

Summary

Current French:

Logique algorithmique pour Common Lisp applicatif[nbsp]: documentation

Translated by Pierre Slamich on 2013-04-29

Reviewed by Pierre Slamich on 2013-05-01

Located in Package: acl2-doc

277.

English:

This package contains the documentation for ACL2.

Description

Current French:

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

278.

English:

Computational Logic for Applicative Common Lisp: emacs interface

Summary

Current French:

Logique algorithmique pour Common Lisp applicatif[nbsp]: interface emacs

Translated and reviewed by Sylvie Gallet on 2013-05-25

Located in Package: elpa-acl2

279.

English:

This package contains an emacs interface to ACL2.

Description

Current French:

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: elpa-acl2

280.

English:

Computational Logic for Applicative Common Lisp: infix interface

Summary

Current French:

Logique algorithmique pour Common Lisp applicatif[nbsp]: interface infix

Translated by Pierre Slamich on 2013-04-29

Reviewed by Pierre Slamich on 2013-05-01

Located in Package: acl2-infix

281.

English:

This package contains utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages.

Description

Current French:

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

282.

English:

Computational Logic for Applicative Common Lisp: infix source

Summary

Current French:

Logique algorithmique pour Common Lisp applicatif[nbsp]: source infix

Translated by Pierre Slamich on 2013-04-29

Reviewed by Pierre Slamich on 2013-05-01

Located in Package: acl2-infix-source

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, Abdoulaye, Alban CLERGEOT, Alban V, Alexandre, Alexandre Franke, Anne017, Anthony Diep, Anthony Noël, Apophis666, Aquilon, ArnaultVandeveld, Arnold Couchard, Arthur Sauvage, Arzach, Ash26, Aurélien James, Aurélien Ribeiro, Babey, Baptiste Fontaine, Benitron, Berenger Okei, Bernos Guillaume, Bertrand Croq, Beuss, Bi30, Blackestmajor, Bonsoir, Borni DHIFI, Bruno, Bruno, Bruno Avet, Cajuteq, Carcasse, CedS, CerberusHeart, Christophe Eschbach, Citron28, Clarence Snickers, ClemZ, DarkVodKa, Darry, David ., David Futcher, David Nottin, David Racine, Eglantine Schmitt, Emmanuel Gil Peyrot, Enrico Rosina, Flo Rahl, Florent (LSc), Florian-delaroche, FreddyONe73, GIRONE Remi, Gautier, Gaëtan Petit, Geoffrey, Glyca, Goshu, Grégoire Markey, GuiMol, Gwab, Gérard Duteil, Havok Novak, Indhi Rousseau, Ir0nsh007er, J&V Georges, Jean-Christophe, Jean-Marc, Jenny B, Jerod212, Joachim R., Jonas Rockenbauer, Jonathan Pasquier, Julien, Julien Henry, JurisZombie, Kafi, Kolibry, Ktux, Laurent N, Laurent Thibaud, Lentdormi, Louis Dubois, Louis Moureaux, Lucas Bayol, Maeda, Marot Célestin, Mathieu Disy, Max, Maxim Lopez, Michael Vogt, MilkaJinka, Moneron Xavier, Morgan, NSV, NaSH, Nguyen Jérémy, Nicolas Delvaux, Nicolas Maître, Nicolas Robin, Nissar Chababy, OUBRAIM Rachid, Olivier Copetto, Olivier FAYOLLE, Olivier Febwin, Olivier Vopat, OlivierT, PEIGNOT Kévin, Paer, Paquelier Alain, Pascal Maugendre, Paul FEUVRAUX, Paulvirtuel, Philip Millan, Philippe, Pier-Luc Ducharme, Pierre Scacchi, Pierre Slamich, Pierre-Alexandre Racine, Pierre-Alexis, Pierrick Vandenbroucke, Pique, Plank, Quentin Dorveaux, Quentin Santander, Ralphi2811, Remiweb, Removed by request, Romain, Romain DEJEAN, Roms, Rémi Berthoz, Rémi Larrouquis, Salvato-Vallverdu, SarahSlean, Seb24, Serge Pilon, Simon, Simon THOBY, St3ph, Stanislas Michalak, Steve Langasek, Stéphane Maniaci, Stéphane V, Sylvhem, Sylvie Gallet, Tarek, Teo Tedoldi, Teromene, Thibault Févry, Thomas, Thomas Quaglio, Thomas.M, Titanet, Toxxic Zad, Tubuntu, Valentin Lorentz, William, Xavier, YannUbuntu, Yayel, Yohann, Youcef PhnixLord, Yvan Arnaud, Yvance77, _Syzygy_, antoine, arkan, axelle oxford, baj, bameylan, blackorpheus, bloch, bpascal123, clappier, clement62910, cocof35, dhorne, didier Belot, dom, dpl29, electroluth, elyr, enebre, fabkzo, flobe, fredb59, fredurb1, gerard, gfds, gisele perreault, grosvalpin, hamelin, hucste, idon'thaveaname, jdt37b, jean-bernard marcon, jlla, joel, jplemoine, judejude, kidpaddle, kleiber, kura, lann, ldmpub, le_youki, lebendre, ljere, londumas, louis1806, marcus, mart3300, michel_95, moberch, mothsArt, oswald_volant, parislanuit, pythaboc, royto, samuel poette, shunesburg69, slurbe, stagelll, sylvain, thenasa, tiritchi, titouan le folgoc, utybo, vincent dumont, vmerlet, vovd, yasmine, yeassay, ymadec, yohann, Łukasz Zemczak.