proofgeneral - en to gl translation catalogue (4 entries)

note: Type: boolean Description
en: Should Proof General be auto-loaded by default?
gl: ¿Quere que Proof General se inicie automaticamente por defecto?

note: Type: boolean Description
en: Please choose this option if you want to auto-load Proof General on this machine.
gl: Escolla esta opción se quere que Proof General se inicie automaticamente 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.
gl: Se o fai, hase cargar globalmente e tódolos usuarios han poder empregalo con Emacs ou XEmacs, sen ter que configurar nada especial no seu ficheiro de configuración persoal.

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.
gl: Se non escolle esta opción, os usuarios han ter que activalo na súa configuración persoal de Emacs ou XEmacs, ou inicialo explicitamente coa orde "proofgeneral".
