Package Descriptions for Ubuntu

Browsing French translation

  1. Series trusty
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and French guidelines.
61075 → 61084 of 82199 results First • • • Last
61075.
This mode supports in principle any Prolog system, though it is primarily maintained for SWI Prolog. It also has some special tweaks for GNU Prolog and SICStus Prolog, and explicitly supports Prolog's close relatives Eclipse and Mercury.
 
Description
(no translation yet)
Located in Package: prolog-el
61076.
GUI client for XMMS2
 
Summary
Client graphique pour XMMS2
Translated by Pierre Slamich
Reviewed by Pierre Slamich
Located in Package: promoe
61077.
Promoe is a client for the XMMS2 music daemon. Promoe’s interface is modeled after XMMS/WinAMP classic and supports Winamp 2 skins. It's written in C++ and uses the Qt4 toolkit.
 
Description
Promoe est un client pour le démon de musique XMMS2. L’interface est calquée sur XMMS/WinAMP classique et prend en charge les habillages de Winamp[nbsp]2. Il est écrit en C++ et utilise la boite à outils Qt4.
Translated by Michael Vogt
Located in Package: promoe
61078.
generic frontend for proof assistants
 
Summary
frontal générique d’assistants de preuve
Translated by Michael Vogt
Located in Package: proofgeneral
61079.
This package provides Proof General support for Coq. (There is no other proof assistant that one could sensibly support.)
 
Description
Ce paquet fournit la prise en charge de Proof General pour Coq. (Il n’existe pas d’autres assistant de preuve pouvant être raisonnablement pris en charge.)
Translated by Michael Vogt
Located in Package: proofgeneral
61080.
generic frontend for proof assistants - documentation
 
Summary
(no translation yet)
Located in Package: proofgeneral-doc
61081.
Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical proofs using a variety of theorem provers.
 
Description
«[nbsp]Proof General[nbsp]» est un mode majeur d'Emacs pour le transformer en système d’assistant de preuves interactif afin d'écrire des preuves mathématiques formelles en utilisant toute une variété de théorèmes.
Translated by Michael Vogt
Located in Package: proofgeneral-doc Package: proofgeneral
61082.
This package provides the Proof General user manual in info, html and pdf form.
 
Description
(no translation yet)
Located in Package: proofgeneral-doc
61083.
proof-tree visualization for Proof General
 
Summary
visualisation d’arbre de preuve pour Proof General
Translated by Michael Vogt
Located in Package: prooftree
61084.
Prooftree draws proof trees during interactive proof development with Proof General. One can inspect goals and proof commands and check where existential variables were introduced and instantiated. Currently, Prooftree does only work for Coq.
 
Description
Prooftree dessine des arbres de démonstration pendant le développement interactif de démonstrations avec Proof General, une interface d’assistant de preuve. Il est possible d’examiner les buts et les commandes de démonstration et de vérifier où les variables existentielles ont été introduites et instanciées. Actuellement, Prooftree fonctionne uniquement avec Coq.
Translated by Michael Vogt
Located in Package: prooftree
61075 → 61084 of 82199 results First • • • Last

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 CLERGEOT, Alban V, Alexandre, Alexandre Croteau, Alexandre Franke, Anne017, Anthony Diep, Anthony Noël, Apophis666, Aquilon, ArnaultVandeveld, Arnold Couchard, Arthur Sauvage, Arzach, Ash26, Aurélien RIVIERE, Aurélien Ribeiro, Babey, Baptiste, Baptiste Fontaine, Benitron, Berenger Okei, Bernos Guillaume, Bertrand Croq, Beuss, Bi30, Blackestmajor, Bonsoir, Borni DHIFI, Bristow, Bruno, Bruno, Bruno Avet, Cajuteq, Carcasse, CedS, Christophe Eschbach, Citron28, Clarence Snickers, ClemZ, CoudCoud, Damien H, DarkVodKa, Darry, David ., David Futcher, David Nottin, David Racine, Eglantine Schmitt, Emmanuel Gil Peyrot, Enrico Rosina, Ersplus, Flo Rahl, Florent (LSc), Florian-delaroche, FreddyONe73, GIRONE Remi, Geoffrey, Glyca, Goshu, GuiMol, Guillaume, Gwab, Havok Novak, Indhi Rousseau, Ir0nsh007er, J&V Georges, Jean-Christophe, Jean-Marc, Jenny B, Jerod212, Joachim R., Joel Chav, Jonas Rockenbauer, Jonathan Pasquier, Julien, Julien Henry, Julien Humbert, Julien Rouvier, JurisZombie, Kafi, Kolibry, Ktux, Laurent N, Laurent Thibaud, Le Bourhis Mikaël, Lentdormi, Lola Farret, Louis Dubois, Louis Moureaux, Lucas Bayol, Maeda, Marot Célestin, Mathieu Disy, Max, Maxence BOTHOREL, Maxim Lopez, Mehdi Benadel, Michael Vogt, MilkaJinka, Moneron Xavier, Morgan, NSV, NaSH, Nguyen Jérémy, Nicolas Delvaux, Nicolas Maître, Nicolas Robin, Nissar Chababy, OUBRAIM Rachid, Olivier, Olivier Copetto, Olivier FAYOLLE, Olivier Febwin, Olivier Vopat, OlivierT, PEIGNOT Kévin, Paer, Paquelier Alain, Pascal Maugendre, Paul Forget, 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, Robin Dumont-Chaponet, 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, Sydney, 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_, afro luffy, antoine, arkan, axelle oxford, baj, bameylan, blackorpheus, bloch, bpascal123, clappier, clement62910, cocof35, constantin, 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, jplemoine, judejude, kidpaddle, kleiber, kura, lann, ldmpub, le_youki, lebendre, ljere, londumas, louis1806, mart3300, michel_95, moberch, mothsArt, oswald_volant, parislanuit, pythaboc, royto, samuel poette, shunesburg69, slurbe, stagelll, sylvain, thenasa, tiritchi, titouan le folgoc, vmerlet, vovd, yasmine, yeassay, ymadec, yohann, Łukasz Zemczak.