3.5-7 - en to ru translation catalogue (4 entries)

note: Type: boolean Description
en: Should Proof General be auto-loaded by default?
ru: Загружать Proof General автоматически по умолчанию?

note: Type: boolean Description
en: Please choose this option if you want to auto-load Proof General on this machine.
ru: Выберите, нужно ли загружать Proof General на этой машине автоматически.

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.
ru: Если вы ответите утвердительно, он будет загружаться всегда и все локальные пользователи смогут использовать его с Emacs или XEmacs без каких-либо изменений в их конфигурационных файлах.

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.
ru: Если вы ответите отрицательно, пользователям придётся активировать его в своих персональных настройках для Emacs или XEmacs, или запускать явно с помощью команды 'proofgeneral'.
