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

note: Type: boolean Description
en: Should Proof General be auto-loaded by default?
de: Soll Proof General standardmäßig automatisch geladen werden?

note: Type: boolean Description
en: Please choose this option if you want to auto-load Proof General on this machine.
de: Bitte wählen Sie diese Option, falls Sie möchten, dass Proof General auf dieser Maschine automatisch geladen wird.

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.
de: Falls Sie sich dafür entscheiden, wird er global geladen und alle lokalen Benutzer werden in der Lage sein, ihn mit Emacs oder XEmacs zu verwenden, ohne spezielle Einträge in ihren persönlichen Konfigurationsdateien vorzunehmen.

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.
de: Falls Sie diese Option nicht wählen, müssen die Benutzer ihn in ihren persönlichen Einstellungen für Emacs oder XEmacs aktivieren, oder ihn explizit mit dem Befehl »proofgeneral« starten.
