proofgeneral 3.5-7 - en to pt translation catalogue (4 entries)

note: Type: boolean Description
en: Should Proof General be auto-loaded by default?
pt: Deve, por omissão, o Proof General ser carregado automaticamente?

note: Type: boolean Description
en: Please choose this option if you want to auto-load Proof General on this machine.
pt: Por favor escolha esta opção se quiser carregar automaticamente o Proof General nesta máquina.

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.
pt: Se o fizer, será carregado globalmente e todos os utilizadores locais poderão utilizá-lo no Emacs ou no XEmacs, sem configurações especiais no seu ficheiro de configuração.

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.
pt: Se não escolher esta opção, os utilizadores terão de activá-lo nas suas definições pessoais do Emacs ou do XEmacs, ou iniciá-lo explicitamente com o comando 'proofgeneral'.
