# SOME DESCRIPTIVE TITLE.
# Copyright (C) YEAR THE PACKAGE'S COPYRIGHT HOLDER
# This file is distributed under the same license as the PACKAGE package.
# FIRST AUTHOR <EMAIL@ADDRESS>, YEAR.
#
#, fuzzy
msgid ""
msgstr ""
"Project-Id-Version: PACKAGE VERSION\n"
"Report-Msgid-Bugs-To: Source: proofgeneral@packages.debian.org\n"
"POT-Creation-Date: 2007-11-13 07:37+0000\n"
"PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n"
"Last-Translator: FULL NAME <EMAIL@ADDRESS>\n"
"Language-Team: LANGUAGE <LL@li.org>\n"
"MIME-Version: 1.0\n"
"Content-Type: text/plain; charset=CHARSET\n"
"Content-Transfer-Encoding: 8bit\n"

#. Type: boolean
#. Description
#: ../proofgeneral.templates:2001
msgid "Should Proof General be auto-loaded by default?"
msgstr ""

#. Type: boolean
#. Description
#: ../proofgeneral.templates:2001
msgid ""
"Please choose this option if you want to auto-load Proof General on this "
"machine."
msgstr ""

#. 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 ""

#. 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 ""