proofgeneral 3.5-6 - en to fr translation catalogue (4 entries)

note: Type: boolean Description
en: Should Proof General be auto-loaded by default?
fr: Proof General doit-il être chargé automatiquement par défaut ?

note: Type: boolean Description
en: Please choose this option if you want to auto-load Proof General on this machine.
fr: Veuillez choisir cette option si vous souhaitez charger automatiquement Proof General sur cette machine.

note: Type: boolean Description
en: If you do so, it will be loaded globally and all local users will be able to use it with Emacs or XEmacs, without special settings in their personal configuration file.
fr: Ainsi, il sera chargé de manière globale et tous les utilisateurs locaux pourront l'utiliser avec Emacs ou XEmacs sans action particulière à effectuer sur leurs fichiers de configuration.

note: Type: boolean Description
en: If you don't choose this option, users will need to activate it from their personal settings for Emacs or XEmacs, or start it explicitly with the 'proofgeneral' command.
fr: Si vous ne choisissez pas cette option, les utilisateurs devront l'activer depuis leurs fichiers de configuration pour Emacs ou XEmacs ou alors le démarrer explicitement en utilisant la commande « proofgeneral ».
