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

note: Type: boolean Description
en: Should Proof General be auto-loaded by default?
fi: Tulisiko Proof General oletuksena ladata automaattisesti?

note: Type: boolean Description
en: Please choose this option if you want to auto-load Proof General on this machine.
fi: Valitse tämä vaihtoehto, jos Proof Generalin tulisi latautua automaattisesti tällä koneella.

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.
fi: Jos valitset tämän, ohjelma ladataan yleisesti ja kaikki paikalliset käyttäjät voivat käyttää sitä Emacsin tai XEmacsin kanssa ilman erityisasetuksia henkilökohtaisissa asetustiedostoissaan.

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.
fi: Jos et valitse tätä, käyttäjien tulee aktivoida ohjelma Emacsin tai XEmacsin henkilökohtaisissa asetuksissa tai käynnistää se suoraan komennolla ”proofgeneral”.
