> Otherwise the following will happen (or already has): > > 07 oct 2006 : send the first intent to NMU notice to > the package maintainer. > 15 oct 2006 : post a NMU announcement to debian-i18n with you > (maintainer) CC'ed > 22 oct 2006 : deadline for receiving translation updates > 24 oct 2006 : build the package and upload it to DELAYED/2-day > send the NMU patch to the BTS > 26 oct 2006 : NMU uploaded to incoming > 27 oct 2006 : NMU enters unstable
The NMU has been built with the attached patch. It will be uploaded today to DELAYED/2-day
diff -Nru proofgeneral-3.5.ori/debian/changelog proofgeneral-3.5/debian/changelog --- proofgeneral-3.5.ori/debian/changelog 2006-10-07 00:06:11.053967429 +0200 +++ proofgeneral-3.5/debian/changelog 2006-10-20 19:53:09.386906054 +0200 @@ -1,3 +1,19 @@ +proofgeneral (3.5-3.1) unstable; urgency=low + + * Non maintainer upload to fix longstanding l10n issues + * Add debconf-2.0 as alternative to debconf. Closes: #332077 + * Debconf templates translations: + - Added Vietnamese. Closes: #317611 + - Added Japasese. Closes: #288029 + - Added Czech. Closes: #308466 + - Added Swedish. Closes: #332359 + - Added Brazilian Portuguese. Sent during the call for updates of the NMU. + - Added Russian. Sent during the call for updates of the NMU. + - Added Portuguese. Sent during the call for updates of the NMU. + - Added German. Sent during the call for updates of the NMU. + + -- Christian Perrier <[EMAIL PROTECTED]> Sat, 7 Oct 2006 00:33:05 +0200 + proofgeneral (3.5-3) unstable; urgency=low * Updated maintainer email address. diff -Nru proofgeneral-3.5.ori/debian/control proofgeneral-3.5/debian/control --- proofgeneral-3.5.ori/debian/control 2006-10-07 00:06:11.057967460 +0200 +++ proofgeneral-3.5/debian/control 2006-10-07 00:31:26.237993804 +0200 @@ -7,7 +7,7 @@ Package: proofgeneral Architecture: all -Depends: debconf, emacs21 (>= 21.1.0) | xemacs21 (>= 21.1.0) +Depends: debconf | debconf-2.0, emacs21 (>= 21.1.0) | xemacs21 (>= 21.1.0) Suggests: x-symbol Recommends: proofgeneral-misc | proofgeneral-coq Description: A generic interface for proof assistants diff -Nru proofgeneral-3.5.ori/debian/po/cs.po proofgeneral-3.5/debian/po/cs.po --- proofgeneral-3.5.ori/debian/po/cs.po 1970-01-01 01:00:00.000000000 +0100 +++ proofgeneral-3.5/debian/po/cs.po 2006-10-15 09:46:05.866056869 +0200 @@ -0,0 +1,62 @@ +# +# 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: \n" +"POT-Creation-Date: 2006-10-15 09:46+0200\n" +"PO-Revision-Date: 2005-05-09 21:55+0200\n" +"Last-Translator: Miroslav Kure <[EMAIL PROTECTED]>\n" +"Language-Team: Czech <[EMAIL PROTECTED]>\n" +"MIME-Version: 1.0\n" +"Content-Type: text/plain; charset=UTF-8\n" +"Content-Transfer-Encoding: 8bit\n" + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +msgid "Should Proof General be auto-loaded by default at your site?" +msgstr "Má se Proof General na tomto počítači nahrávat automaticky?" + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +msgid "" +"If you want to auto-load Proof General at your site, you should accept here." +msgstr "" +"Chcete-li na tomto počítači automaticky nahrávat Proof General, měli byste " +"souhlasit." + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +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\"." +msgstr "" +"V takovém případě se bude Proof General nahrávat globálně všem uživatelům " +"Emacsu nebo XEmacsu, aniž by museli něco zadávat do svých souborů ~/.emacs." + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +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." +msgstr "" +"Odmítnete-li, pak uživatelé, kteří budou chtít tento nástroj používat, si " +"budou muset ručně upravit ~/.emacs, nebo explicitně spustit Proof General " +"příkazem proofgeneral." diff -Nru proofgeneral-3.5.ori/debian/po/de.po proofgeneral-3.5/debian/po/de.po --- proofgeneral-3.5.ori/debian/po/de.po 1970-01-01 01:00:00.000000000 +0100 +++ proofgeneral-3.5/debian/po/de.po 2006-10-20 19:52:54.846791446 +0200 @@ -0,0 +1,56 @@ +# German debconf translation for proofgeneral +# Copyright (C) +# Tobias Toedter <[EMAIL PROTECTED]>, 2006. +msgid "" +msgstr "" +"Project-Id-Version: proofgeneral\n" +"Report-Msgid-Bugs-To: \n" +"POT-Creation-Date: 2006-10-15 09:46+0200\n" +"PO-Revision-Date: 2006-10-15 11:51+0200\n" +"Last-Translator: Tobias Toedter <[EMAIL PROTECTED]>\n" +"Language-Team: German <[email protected]>\n" +"MIME-Version: 1.0\n" +"Content-Type: text/plain; charset=UTF-8\n" +"Content-Transfer-Encoding: 8bit\n" +"X-Generator: KBabel 1.11.2\n" +"Plural-Forms: nplurals=2; plural=(n != 1);\n" + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +msgid "Should Proof General be auto-loaded by default at your site?" +msgstr "" +"Soll Proof General für Ihre Site standardmäßig automatisch geladen werden?" + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +msgid "" +"If you want to auto-load Proof General at your site, you should accept here." +msgstr "" +"Wenn Sie Proof General für Ihre Site standardmäßig automatisch laden wollen, " +"sollten Sie hier zustimmen." + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +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\"." +msgstr "" +"Wenn Sie zustimmen, wird Proof General global geladen, d. h. alle Leute auf " +"Ihrer Site können Proof General jederzeit in Emacs oder XEmacs verwenden, " +"ohne spezielle Einstellungen in ihrer »~/.emacs«-Datei vorzunehmen." + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +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." +msgstr "" +"Wenn Sie ablehnen, müssen Leute, die Proof General benutzen wollen, entweder " +"ihre »~/.emacs«-Datei bearbeiten oder eine Proof General-Sitzung explizit " +"mit dem Befehl proofgeneral starten." diff -Nru proofgeneral-3.5.ori/debian/po/fr.po proofgeneral-3.5/debian/po/fr.po --- proofgeneral-3.5.ori/debian/po/fr.po 2006-10-07 00:06:11.205968610 +0200 +++ proofgeneral-3.5/debian/po/fr.po 2006-10-15 09:46:05.982057821 +0200 @@ -13,7 +13,7 @@ msgstr "" "Project-Id-Version: proofgeneral_3.4-12\n" "Report-Msgid-Bugs-To: \n" -"POT-Creation-Date: 2003-08-23 11:17+0200\n" +"POT-Creation-Date: 2006-10-15 09:46+0200\n" "PO-Revision-Date: 2003-08-28 21:11+0200\n" "Last-Translator: Michel Grentzinger <[EMAIL PROTECTED]>\n" "Language-Team: French <[email protected]>\n" @@ -21,22 +21,25 @@ "Content-Type: text/plain; charset=ISO-8859-15\n" "Content-Transfer-Encoding: 8bit\n" +#. Type: boolean #. Description -#: ../proofgeneral.templates:4 +#: ../proofgeneral.templates:1001 msgid "Should Proof General be auto-loaded by default at your site?" msgstr "" "Proof General doit-il �tre charg� automatiquement par d�faut sur votre site�?" +#. Type: boolean #. Description -#: ../proofgeneral.templates:4 +#: ../proofgeneral.templates:1001 msgid "" "If you want to auto-load Proof General at your site, you should accept here." msgstr "" "Si vous souhaitez que Proof General soit automatiquement charg� sur votre " "site, vous devriez accepter ici." +#. Type: boolean #. Description -#: ../proofgeneral.templates:4 +#: ../proofgeneral.templates:1001 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 " @@ -47,8 +50,9 @@ "quel moment dans Emacs ou XEmacs sans d�finir de param�tres sp�ciaux dans " "leur fichier ��~/.emacs��." +#. Type: boolean #. Description -#: ../proofgeneral.templates:4 +#: ../proofgeneral.templates:1001 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 " diff -Nru proofgeneral-3.5.ori/debian/po/ja.po proofgeneral-3.5/debian/po/ja.po --- proofgeneral-3.5.ori/debian/po/ja.po 1970-01-01 01:00:00.000000000 +0100 +++ proofgeneral-3.5/debian/po/ja.po 2006-10-15 09:46:06.070058542 +0200 @@ -0,0 +1,63 @@ +# +# 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 3.5-3\n" +"Report-Msgid-Bugs-To: \n" +"POT-Creation-Date: 2006-10-15 09:46+0200\n" +"PO-Revision-Date: 2004-12-23 00:39+0900\n" +"Last-Translator: Hideki Yamane <[EMAIL PROTECTED]>\n" +"Language-Team: Japanese <[email protected]>\n" +"MIME-Version: 1.0\n" +"Content-Type: text/plain; charset=EUC-JP\n" +"Content-Transfer-Encoding: 8bit\n" + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +msgid "Should Proof General be auto-loaded by default at your site?" +msgstr "�����Ȥ� Proof General ����ư��ư�����褦�ˤ��ޤ���?" + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +msgid "" +"If you want to auto-load Proof General at your site, you should accept here." +msgstr "" +"�����Ȥ� Proof General ����ư��ư�����褦�ˤ��������硢�����ǡ֤Ϥ��פ�������" +"����������" + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +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\"." +msgstr "" +"�֤Ϥ��פ����������硢Proof General �ϥ������Х��˼¹Ԥ����ޤ����Ĥޤꡢ����" +"�Ȥ�ï�⤬ \"~/.emacs\" �ؤ����̤�����̵���� Emacs �ޤ��� XEmacs ���� Proof " +"General �ĤǤ��Ȥ��ޤ���" + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +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." +msgstr "" +"�֤������פ����������硢�Ȥ������ͤ� \"~/.emacs\" ���Խ����뤫 proofgeneral " +"���ޥ��ɤ��Ȥä� Proof General �Υ��å�����������Ū�˳��Ϥ���ɬ�פ������ޤ���" diff -Nru proofgeneral-3.5.ori/debian/po/pt.po proofgeneral-3.5/debian/po/pt.po --- proofgeneral-3.5.ori/debian/po/pt.po 1970-01-01 01:00:00.000000000 +0100 +++ proofgeneral-3.5/debian/po/pt.po 2006-10-19 06:39:59.381610650 +0200 @@ -0,0 +1,54 @@ +# Portuguese translation of proofgeneral debconf messages. +# Rui Branco <[EMAIL PROTECTED]>, 2006. +# +msgid "" +msgstr "" +"Project-Id-Version: proofgeneral 3.5-3\n" +"Report-Msgid-Bugs-To: \n" +"POT-Creation-Date: 2006-10-15 09:46+0200\n" +"PO-Revision-Date: 2006-10-18 23:59+0100\n" +"Last-Translator: Rui Branco <[EMAIL PROTECTED]>\n" +"Language-Team: Native Portuguese <[EMAIL PROTECTED]>\n" +"MIME-Version: 1.0\n" +"Content-Type: text/plain; charset=UTF-8\n" +"Content-Transfer-Encoding: 8bit" + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +msgid "Should Proof General be auto-loaded by default at your site?" +msgstr "Deverá o Proof General ser iniciado automaticamente por omissão no seu " +"site?" + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +msgid "" +"If you want to auto-load Proof General at your site, you should accept here." +msgstr "" +"Se quiser iniciar automaticamente o Proof General no seu site, deverá " +"aceitar." + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +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\"." +msgstr "" +"Se aceitar, o Proof General será iniciado globalmente, isto é, todas as " +"pessoas no seu site poderão utilizar o Proof General em qualquer altura " +"nos seus Emacs ou XEmacs sem opções especiais nos seus \"~/.emacs\"." + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +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." +msgstr "" +"Se recusar, as pessoas que o desejarem utilizar terão que ou editar \"~/." +"emacs\" ou iniciar uma sessão do Proof General explicitamente com o " +"comando proofgeneral." diff -Nru proofgeneral-3.5.ori/debian/po/pt_BR.po proofgeneral-3.5/debian/po/pt_BR.po --- proofgeneral-3.5.ori/debian/po/pt_BR.po 1970-01-01 01:00:00.000000000 +0100 +++ proofgeneral-3.5/debian/po/pt_BR.po 2006-10-17 08:45:55.198105971 +0200 @@ -0,0 +1,67 @@ +# +# 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. +# +# Felipe Augusto van de Wiel (faw), 2006. +# +msgid "" +msgstr "" +"Project-Id-Version: proofgeneral (20061017)\n" +"Report-Msgid-Bugs-To: \n" +"POT-Creation-Date: 2006-10-15 09:46+0200\n" +"PO-Revision-Date: 2006-10-17 01:20-0200\n" +"Last-Translator: Felipe Augusto van de Wiel (faw) <[EMAIL PROTECTED]>\n" +"Language-Team: l10n portuguese <[email protected]>\n" +"MIME-Version: 1.0\n" +"Content-Type: text/plain; charset=UTF-8\n" +"Content-Transfer-Encoding: 8bit\n" +"pt_BR utf-8\n" + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +msgid "Should Proof General be auto-loaded by default at your site?" +msgstr "" +"Proof General deveria ser carregado automaticamente por padrão em seu site?" + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +msgid "" +"If you want to auto-load Proof General at your site, you should accept here." +msgstr "" +"Se você deseja carregar automaticamente Proof General em seu site, você " +"deveria aceitar esta opção." + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +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\"." +msgstr "" +"Se você aceitar, Proof General será carregado globalmente, ou seja, todas as " +"pessoas em seu site poderão usar Proof Gerenal a qualquer momento em seus " +"Emacs ou XEmacs sem configurações especiais nos arquivos \"~/.emacs\"." + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +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." +msgstr "" +"Se você recusar, as pessoas que quiserem usá-lo terão que ou editar \"~/." +"emacs\" ou iniciar uma sessão Proof General explicitamente com o comando " +"proofgeneral." diff -Nru proofgeneral-3.5.ori/debian/po/ru.po proofgeneral-3.5/debian/po/ru.po --- proofgeneral-3.5.ori/debian/po/ru.po 1970-01-01 01:00:00.000000000 +0100 +++ proofgeneral-3.5/debian/po/ru.po 2006-10-18 19:18:57.810280410 +0200 @@ -0,0 +1,66 @@ +# translation of proofgeneral_debconf_ru.po to Russian +# +# 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. +# +# Yuri Kozlov <[EMAIL PROTECTED]>, 2006. +msgid "" +msgstr "" +"Project-Id-Version: 3.5-3\n" +"Report-Msgid-Bugs-To: \n" +"POT-Creation-Date: 2006-10-15 09:46+0200\n" +"PO-Revision-Date: 2006-10-18 18:03+0400\n" +"Last-Translator: Yuri Kozlov <[EMAIL PROTECTED]>\n" +"Language-Team: Russian <[email protected]>\n" +"MIME-Version: 1.0\n" +"Content-Type: text/plain; charset=UTF-8\n" +"Content-Transfer-Encoding: 8bit\n" +"X-Generator: KBabel 1.11.2\n" +"Plural-Forms: nplurals=3; plural=(n%10==1 && n%100!=11 ? 0 : n%10>=2 && n%10<=4 && (n%100<10 || n%100>=20) ? 1 : 2);\n" + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +msgid "Should Proof General be auto-loaded by default at your site?" +msgstr "Загружать Proof General автоматически по умолчанию?" + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +msgid "If you want to auto-load Proof General at your site, you should accept here." +msgstr "" +"Если нужно загружать Proof General автоматически, то вы должны ответить " +"утвердительно." + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +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\"." +msgstr "" +"Если вы ответите утвердительно, Proof General будет загружаться глобально, " +"то есть все пользователи машины смогут использовать Proof General в любое " +"время в своих Emacs или XEmacs, не делая специальных настроек у себя " +"в \"~/.emacs\"." + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +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." +msgstr "" +"Если вы ответите отрицательно, людям, которые захотят использовать " +"его, нужно будет отредактировать \"~/.emacs\" или запускать сессию " +"Proof General явно с помощью команды proofgeneral." + diff -Nru proofgeneral-3.5.ori/debian/po/sv.po proofgeneral-3.5/debian/po/sv.po --- proofgeneral-3.5.ori/debian/po/sv.po 1970-01-01 01:00:00.000000000 +0100 +++ proofgeneral-3.5/debian/po/sv.po 2006-10-15 09:46:06.158059264 +0200 @@ -0,0 +1,62 @@ +# 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. +# , fuzzy +# +# +msgid "" +msgstr "" +"Project-Id-Version: proofgeneral 3.5-3\n" +"Report-Msgid-Bugs-To: \n" +"POT-Creation-Date: 2006-10-15 09:46+0200\n" +"PO-Revision-Date: 2005-10-07 02:32+0200\n" +"Last-Translator: Daniel Nylander <[EMAIL PROTECTED]>\n" +"Language-Team: Swedish <[EMAIL PROTECTED]>\n" +"MIME-Version: 1.0\n" +"Content-Type: text/plain; charset=iso-8859-1\n" +"Content-Transfer-Encoding: 8bit\n" + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +msgid "Should Proof General be auto-loaded by default at your site?" +msgstr "Ska Proof General laddas in automatiskt som standard p� ditt system?" + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +msgid "" +"If you want to auto-load Proof General at your site, you should accept here." +msgstr "" +"Om du vill automatiska ladda in Proof General p� ditt system b�r du " +"acceptera h�r." + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +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\"." +msgstr "" +"Om du accepterar kommer Proof General att laddas globalt, allts� alla dina " +"anv�ndare p� ditt system kan anv�nda Proof General n�r som helst i deras " +"Emacs eller XEmacs utan speciella inst�llningar i deras \"~/.emacs\"." + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +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." +msgstr "" +"Om du inte accepterar m�ste anv�ndarna som vill anv�nda den att sj�lva �ndra " +"\"~/.emacs\" eller starta en Proof General-session speciellt med kommandot " +"proofgeneral." diff -Nru proofgeneral-3.5.ori/debian/po/templates.pot proofgeneral-3.5/debian/po/templates.pot --- proofgeneral-3.5.ori/debian/po/templates.pot 2006-10-07 00:06:11.205968610 +0200 +++ proofgeneral-3.5/debian/po/templates.pot 2006-10-15 09:46:06.266060150 +0200 @@ -16,7 +16,7 @@ msgstr "" "Project-Id-Version: PACKAGE VERSION\n" "Report-Msgid-Bugs-To: \n" -"POT-Creation-Date: 2003-08-23 11:17+0200\n" +"POT-Creation-Date: 2006-10-15 09:46+0200\n" "PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n" "Last-Translator: FULL NAME <[EMAIL PROTECTED]>\n" "Language-Team: LANGUAGE <[EMAIL PROTECTED]>\n" @@ -24,27 +24,31 @@ "Content-Type: text/plain; charset=CHARSET\n" "Content-Transfer-Encoding: 8bit\n" +#. Type: boolean #. Description -#: ../proofgeneral.templates:4 +#: ../proofgeneral.templates:1001 msgid "Should Proof General be auto-loaded by default at your site?" msgstr "" +#. Type: boolean #. Description -#: ../proofgeneral.templates:4 +#: ../proofgeneral.templates:1001 msgid "" "If you want to auto-load Proof General at your site, you should accept here." msgstr "" +#. Type: boolean #. Description -#: ../proofgeneral.templates:4 +#: ../proofgeneral.templates:1001 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\"." msgstr "" +#. Type: boolean #. Description -#: ../proofgeneral.templates:4 +#: ../proofgeneral.templates:1001 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 " diff -Nru proofgeneral-3.5.ori/debian/po/vi.po proofgeneral-3.5/debian/po/vi.po --- proofgeneral-3.5.ori/debian/po/vi.po 1970-01-01 01:00:00.000000000 +0100 +++ proofgeneral-3.5/debian/po/vi.po 2006-10-15 09:46:06.242059953 +0200 @@ -0,0 +1,58 @@ +# Vietnamese translation for proofgeneral. +# Copyright © 2005 Free Software Foundation, Inc. +# Clytie Siddall <[EMAIL PROTECTED]>, 2005. +# +msgid "" +msgstr "" +"Project-Id-Version: proofgeneral 3.5-3\n" +"Report-Msgid-Bugs-To: \n" +"POT-Creation-Date: 2006-10-15 09:46+0200\n" +"PO-Revision-Date: 2005-07-10 15:49+0930\n" +"Last-Translator: Clytie Siddall <[EMAIL PROTECTED]>\n" +"Language-Team: Vietnamese <[EMAIL PROTECTED]>\n" +"MIME-Version: 1.0\n" +"Content-Type: text/plain; charset=utf-8\n" +"Content-Transfer-Encoding: 8bit\n" +"Plural-Forms: nplurals=1; plural=0\n" +"X-Generator: LocFactoryEditor 1.2.2\n" + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +msgid "Should Proof General be auto-loaded by default at your site?" +msgstr "" +"Tại nơi bạn, có nên tự động tải trình Proof General theo mặc định không?" + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +msgid "" +"If you want to auto-load Proof General at your site, you should accept here." +msgstr "" +"Nếu bạn muốn tự động tải trình Proof General tại nơi bạn thì hãy chấp nhận " +"tùy chọn này." + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +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\"." +msgstr "" +"Nếu bạn chấp nhận thì trình Proof General được tải một cách toàn cục, tức là " +"mọi người tại nơi bạn có thể sử dụng trình Proof General vào bất cứ lúc nào, " +"trong trình Emacs hay XEmacs, không cần thiết lập đặc biệt trong tập tin «~/." +"emacs» của họ." + +#. Type: boolean +#. Description +#: ../proofgeneral.templates:1001 +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." +msgstr "" +"Nếu bạn từ chối thì mọi người muốn sử dụng trình Proof General sẽ cần phải " +"hoặc hiệu chỉnh tập tin «~/.emacs» hoặc khởi chạy một phiên Proof General " +"một cách dứt khoát, dùng lệnh «proofgeneral»."
signature.asc
Description: Digital signature
