proofgeneral po-debconf 訳

[Hideki Yamane <henrich@debian.or.jp>]

　やまねです。
　proofgeneral po-debconf 訳です。査読願います。

#. Type: boolean
#. Description
#: ../proofgeneral.templates:2001
msgid "Should Proof General be auto-loaded by default?"
msgstr "デフォルトで Proof General を自動的に実行するようにしますか?"

#. Type: boolean
#. Description
#: ../proofgeneral.templates:2001
msgid ""
"Please choose this option if you want to auto-load Proof General on this "
"machine."
msgstr ""
"このマシンで Proof General を自動的に実行したい場合はこのオプションを選んでください。"

#. Type: boolean
#. Description
#: ../proofgeneral.templates:2001
msgid ""
"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."
msgstr ""
"もしこの設定を有効にすると Proof General がシステム全体に対して実行され、全ての"
"ローカルユーザが個人の設定ファイル中で特別な設定をすること無く Emacs や XEmacs "
"から使えるようになります。"

#. Type: boolean
#. Description
#: ../proofgeneral.templates:2001
msgid ""
"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."
msgstr ""
"このオプションを選ばない場合は、ユーザは Emacs あるいは XEmacs の個人設定の中で"
"有効にする、あるいは 'proofgeneral' コマンドを使って明示的に起動する必要があります。"