Translations by Thomas

Thomas has submitted the following strings to this translation. Contributions are visually coded: currently used translations, unreviewed suggestions, rejected suggestions.

123 of 23 results
116.
This package contains all programs needed to perform calculations. For documentation and tests, install the abinit-doc package.
2011-04-20
Ce paquet contient tous les programmes nécessaires pour effectuer des calculs. Pour la documentation et les tests, installer le paquet abinit-doc.
117.
A package for electronic structure calculations
2011-04-20
Un paquet pour l'analyse des structures électroniques
120.
This package contains documentation and tests.
2011-04-20
Ce paquet contient la documentation et les tests.
123.
efficient, featureful word processor with collaboration -- common files
2011-04-20
efficace, un traitement de texte fonctionnel et collaboratif -- fichiers communs
124.
This package contains the common files that are used on all architectures without modification.
2011-04-20
Ce paquet contient les fichiers communs utilisés sur toutes les architectures sans modification.
128.
grammar checking plugin for AbiWord
2011-04-20
extension d'analyse grammaticale pour AbiWord
129.
This package contains an in-line grammar checking system for AbiWord documents.
2011-04-20
Ce paquet contient l'outil d'analyse grammaticale pour les documents AbiWord.
130.
equation editor plugin for AbiWord
2011-04-20
extension d'édition d'équation pour AbiWord
131.
This package contains an equation editing system for AbiWord documents.
2011-04-20
Ce paquet contient l'éditeur d'équation pour les documents AbiWord.
222.
Kanji code converter
2011-04-20
Convertisseur de Kanji
236.
This package contains the documentation for ACL2.
2011-04-20
Ce paquet contient la documentation de ACL2.
238.
This package contains an emacs interface to ACL2.
2011-04-20
Ce paquet contient une interface emacs pour ACL2.
267.
command line ACPI client
2011-04-20
Client ACPI en ligne de commande
302.
Command line tool to add GPG keys to the APT keyring
2011-04-20
Outil en ligne de commande pour ajouter les clés GPG au gestionnaire de clés APT
303.
The command add-apt-key provides a convenient command line interface which will add a new GPG key to your APT keyring.
2011-04-20
La commande add-apt-key est une ligne de commande permettant d'ajouter une nouvelle clé GPG au gestionnaire de clés APT.
304.
Those who are more graphically inclined may prefer the package gui-apt-key.
2011-04-20
Ceux préférant les interfaces graphiques utiliseront le paquet gui-apt-key.
331.
A 2D graphical RPG game inspired by good old console RPGs like the ones on the SNES.
2011-04-20
Un RPG en 2D inspiré des bons vieux jeux console comme ceux de la SNES.
349.
example presentations for Active-DVI (advi)
2011-04-20
exemples de présentation de Active-DVI (advi)
357.
documentation for aegis
2011-04-20
documentation d'aegis
402.
An application to "stick" little notes on the desktop
2011-04-20
Une application pour épingler de petites notes sur le bureau
403.
Affiche is a little application that allows people to "stick" little notes on their computer desktop. It was made for the GNUstep environment.
2011-04-20
Affiche est une petite application qui permet au gens d'épingler des petites notes sur le bureau de leur ordinateur. Il a été fait pour l'environnement GNUstep.
409.
This package contains the documentation for AFNIX.
2011-04-20
Ce paquet contient la documentation pour AFNIX.
432.
This package contains the emacs interactive development mode for Agda. This mode is the preferred way to write Agda code, and offers features such as iterative development, refinement, case analysis and so on.
2011-04-20
Ce paquet contient le mode de développement interactif emacs pour Agda. C'est le mode privilégié pour coder en Agda, il offre des fonctionnalités telles que le développement itératif, le raffinage, l'analyse de cas et bien d'autres.