proofgeneral - en to cs translation catalogue (4 entries)

note: Type: boolean Description
en: Should Proof General be auto-loaded by default?
cs: Má se Proof General zavádět automaticky?

note: Type: boolean Description
en: Please choose this option if you want to auto-load Proof General on this machine.
cs: Tuto volbu povolte v případě, že chcete, aby se na tomto počítači zaváděl Proof General automaticky.

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.
cs: Odpovíte-li kladně, bude se zavádět automaticky a uživatelé Emacsu nebo XEmacsu jej budou moci používat bez dalšího nastavování.

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.
cs: Nevyberete-li tuto možnost, uživatelé si jej budou muset aktivovat ve svých konfiguračních souborech Emacsu nebo XEmacsu, případně jej mohou spouštět explicitně příkazem „proofgeneral“.
