#
#    Translators, if you are not familiar with the PO format, gettext
#    documentation is worth reading, especially sections dedicated to
#    this format, e.g. by running:
#         info -n '(gettext)PO Files'
#         info -n '(gettext)Header Entry'
#
#    Some information specific to po-debconf are available at
#            /usr/share/doc/po-debconf/README-trans
#         or http://www.debian.org/intl/l10n/po-debconf/README-trans
#
#    Developers do not need to manually edit POT or PO files.
#
msgid ""
msgstr ""
"Project-Id-Version: proofgeneral\n"
"Report-Msgid-Bugs-To: Source: proofgeneral@packages.debian.org\n"
"POT-Creation-Date: 2007-11-13 07:37+0000\n"
"PO-Revision-Date: 2007-11-14 17:41+0100\n"
"Last-Translator: Bart Cornelis <cobaco@skolelinux.no>\n"
"Language-Team: debian-l10n-dutch <debian-l10n-dutch@lists.debian.org>\n"
"MIME-Version: 1.0\n"
"Content-Type: text/plain; charset=utf-8\n"
"Content-Transfer-Encoding: 8bit\n"
"X-Poedit-Language: Dutch\n"

#. Type: boolean
#. Description
#: ../proofgeneral.templates:2001
#| msgid "Should Proof General be auto-loaded by default at your site?"
msgid "Should Proof General be auto-loaded by default?"
msgstr "Wilt u dat Proof General automatisch geladen wordt?"

#. Type: boolean
#. Description
#: ../proofgeneral.templates:2001
#| msgid ""
#| "If you want to auto-load Proof General at your site, you should accept "
#| "here."
msgid "Please choose this option if you want to auto-load Proof General on this machine."
msgstr "Als u wilt dat Proof General automatisch geladen wordt op deze machine dient u dit te aanvaarden."

#. Type: boolean
#. Description
#: ../proofgeneral.templates:2001
#| msgid ""
#| "If you accept, Proof General is loaded globally, i.e. all people in your "
#| "site can use Proof General at any time in their Emacs or XEmacs without "
#| "special settings in their \"~/.emacs\"."
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 "Als u dit aanvaardt wordt Proof General globaal geladen waardoor alle lokale gebruikers er gebruik van kunnen maken in Emacs en XEmacs zonder hiervoor speciale instellingen in hun persoonlijk configuratiebestand te hebben."

#. Type: boolean
#. Description
#: ../proofgeneral.templates:2001
#| msgid ""
#| "If you refuse, people who desire to use it will have to either edit \"~/."
#| "emacs\" or start a Proof General session explicitly with the proofgeneral "
#| "command."
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 "Als u hier weigert zullen gebruikers of Proof General via hun persoonlijke instellingen voor Emacs of XEmacs moeten activeren, of Proof General expliciet starten via het commando 'proofgeneral'."