# translation of proofgeneral.po to swedish
# Copyright (C) YEAR THE PACKAGE'S COPYRIGHT HOLDER
# This file is distributed under the same license as the PACKAGE package.
#
# Martin Bagge <brother@bsnet.se>, 2008.
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: 2008-10-30 19:13+0100\n"
"Last-Translator: Martin Bagge <brother@bsnet.se>\n"
"Language-Team: swedish <debian-l10n-swedish@lists.debian.org>\n"
"MIME-Version: 1.0\n"
"Content-Type: text/plain; charset=UTF-8\n"
"Content-Transfer-Encoding: 8bit\n"
"X-Generator: KBabel 1.11.4\n"

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

#. Type: boolean
#. Description
#: ../proofgeneral.templates:2001
msgid ""
"Please choose this option if you want to auto-load Proof General on this "
"machine."
msgstr ""
"Välj detta alternativ om du vill att Proof General ska laddas automatiskt på "
"detta system."

#. 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 ""
"Om du väljer att ladda Proof General automatiskt för hela systemet så kan "
"alla användare av Emacs och XEmacs använda det utan att redigera sina "
"inställningsfiler."

#. 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 ""
"Om du inte vill ladda Proof Genereal automatiskt för hela systemet måste "
"användarna redigera sina personliga inställningar för Emacs eller XEmacs, "
"alternativt använda kommandot 'proofgeneral'."