Browsing French translation

Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and French guidelines.
3120131210 of 41886 results
61072.
prolix launches a command and captures its standard output and error, suppressing uninteresting lines according to a pattern. Yet unlike grep -v, prolix is an interactive program: When you find that the output you're being shown is still too verbose, simply hit enter and add additional suppression patterns. Suppression patterns can be full or substring line matches as well as regular expressions. You can also apply substitutions to lines, for example shorten overly chatty fields.
Description
(no translation yet)
Located in Package: prolix
61073.
Emacs major mode for editing Prolog code
Summary
(no translation yet)
Located in Package: prolog-el
61074.
This is a replacement for the standard emacs prolog mode. It comes with all the features you would expect, including syntax highlighting, auto indent, and full interaction with an inferior Prolog process.
Description
(no translation yet)
Located in Package: prolog-el
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
61079.
This package provides Proof General support for Coq. (There is no other proof assistant that one could sensibly support.)
Description
(no translation yet)
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
(no translation yet)
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
(no translation yet)
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
(no translation yet)
Located in Package: prooftree
3120131210 of 41886 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, Achraf cherti, Alban CLERGEOT, Alban V, Alex THIERRY, Alexandre, Alexandre Croteau, Alexandre Franke, Anne, Anthony Diep, Anthony Noël, Apophis666, Aquilon, ArnaultVandeveld, Arnold Couchard, Arthur Sauvage, Arzach, Aurélien RIVIERE, Aurélien Ribeiro, Babey, Baptiste, Baptiste Fontaine, Bass_DR, Benitron, Berenger Okei, Bernos Guillaume, Bertrand Croq, Beuss, Bi30, Blackestmajor, Bonsoir, Borni DHIFI, Bristow, Bruno, Bruno Avet, Bruno Patri, Cajuteq, Carcasse, CedS, Christophe Eschbach, Citron28, Clarence Snickers, ClemZ, CoudCoud, Damien Haïkal, DarkVodKa, Darry, David ., David Futcher, David Nottin, Eglantine Schmitt, Eloiltiti Achraf, Elrick, 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, Pika3D, Pique, Plank, Quentin Dorveaux, Quentin Santander, Ralphi2811, Remiweb, Robin Dumont-Chaponet, Romain, Romain, Roms, Rémi Larrouquis, Salvato-Vallverdu, SarahSlean, Seb24, Serge Pilon, Simon, Simon THOBY, St3ph, Stanislas Michalak, Stéphane Maniaci, Stéphane V, Sydney, Sylvhem, Sylvie Gallet, Tarek, Teo Tedoldi, Teromene, Thibault Févry, Thomas, Thomas Quaglio, Thomas.M, TiiXel, Titanet, Toxxic Zad, Tubuntu, Valentin Lorentz, William, Xavier, YannUbuntu, Yayel, Yohann, Youcef PhnixLord, Yvan Arnaud, Yvance77, _Syzygy_, afro luffy, antoine, axelle oxford, bameylan, blackorpheus, bloch, bpascal123, clappier, clement62910, cocof35, constantin, dhorne, didier Belot, dom, dpl29, electroluth, elyr, enebre, fabkzo, flobe, fredb59, fredurb1, gerard, 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, vmerlet, vovd, yasmine, yeassay, ymadec, yohann.