From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.org!not-for-mail
From: Fabien Vignes-Tourneret <fabien.vignes@gmail.com>
Newsgroups: gmane.emacs.help
Subject: RefTeX label prefix
Date: Wed, 12 Jan 2011 10:35:37 +0100
Message-ID: <6B79959B-08AB-44AD-865A-B337F48C3E34@gmail.com>
NNTP-Posting-Host: lo.gmane.org
Mime-Version: 1.0 (Apple Message framework v1082)
Content-Type: multipart/alternative; boundary=Apple-Mail-63-837641085
X-Trace: dough.gmane.org 1294844125 26201 80.91.229.12 (12 Jan 2011 14:55:25 GMT)
X-Complaints-To: usenet@dough.gmane.org
NNTP-Posting-Date: Wed, 12 Jan 2011 14:55:25 +0000 (UTC)
To: help-gnu-emacs@gnu.org
Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Wed Jan 12 15:55:16 2011
Return-path: <help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org>
Envelope-to: geh-help-gnu-emacs@m.gmane.org
Original-Received: from lists.gnu.org ([199.232.76.165])
	by lo.gmane.org with esmtp (Exim 4.69)
	(envelope-from <help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org>)
	id 1Pd26V-00012y-M8
	for geh-help-gnu-emacs@m.gmane.org; Wed, 12 Jan 2011 15:55:16 +0100
Original-Received: from localhost ([127.0.0.1]:49300 helo=lists.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43)
	id 1Pd26V-0003FD-24
	for geh-help-gnu-emacs@m.gmane.org; Wed, 12 Jan 2011 09:55:15 -0500
Original-Received: from [140.186.70.92] (port=54947 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1Pcx7K-0003b4-8u
	for help-gnu-emacs@gnu.org; Wed, 12 Jan 2011 04:35:47 -0500
Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <fabien.vignes@gmail.com>) id 1Pcx7F-0003WO-7K
	for help-gnu-emacs@gnu.org; Wed, 12 Jan 2011 04:35:46 -0500
Original-Received: from mail-fx0-f41.google.com ([209.85.161.41]:41048)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <fabien.vignes@gmail.com>) id 1Pcx7E-0003WH-Ud
	for help-gnu-emacs@gnu.org; Wed, 12 Jan 2011 04:35:41 -0500
Original-Received: by fxm12 with SMTP id 12so335658fxm.0
	for <help-gnu-emacs@gnu.org>; Wed, 12 Jan 2011 01:35:39 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma;
	h=domainkey-signature:from:content-type:subject:date:message-id:to
	:mime-version:x-mailer;
	bh=q0Qw+2F+HzWgQzgydOKdg80mXS2BrVxDcrKiTXGS2g8=;
	b=NX/N4prN26TuTpclBZGm/GRZl2mqFvodB2jwFAzsJtsFbFAytBAwUrD7u8AlOiN8pJ
	HxuWwXMnPbtJKbLnDLXIlj9A+lbGeLtu/82dE5eMzOEovhY1xdnNJmokP9zuxe2c2zb6
	P3eMXM8CKmH2+eUHpbBFtJZTGKDdgW5+JXfXA=
DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma;
	h=from:content-type:subject:date:message-id:to:mime-version:x-mailer;
	b=oeaE52hz0oo+8bzYiIIrurTc3tK5ICp8G7HWwDwZl+QvnTN6zcFUTOIoICUTyUEH22
	QU5pbPXbScYnPwU+3mRf7rLx+GczNKeuuh1dbLXe7LAamdgY+oRBbEbrX1zGeKa2+UkY
	lsLIEj66ekRrDSzKqSYqGlPUCParVGkBhf84A=
Original-Received: by 10.223.86.16 with SMTP id q16mr744436fal.58.1294824939587;
	Wed, 12 Jan 2011 01:35:39 -0800 (PST)
Original-Received: from icj-poste184.univ-lyon1.fr (icj-poste184.univ-lyon1.fr
	[134.214.157.84])
	by mx.google.com with ESMTPS id 21sm104897fav.41.2011.01.12.01.35.38
	(version=TLSv1/SSLv3 cipher=RC4-MD5);
	Wed, 12 Jan 2011 01:35:38 -0800 (PST)
X-Mailer: Apple Mail (2.1082)
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 2)
X-Mailman-Approved-At: Wed, 12 Jan 2011 09:54:12 -0500
X-BeenThere: help-gnu-emacs@gnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Users list for the GNU Emacs text editor <help-gnu-emacs.gnu.org>
List-Unsubscribe: <http://lists.gnu.org/mailman/listinfo/help-gnu-emacs>,
	<mailto:help-gnu-emacs-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/help-gnu-emacs>
List-Post: <mailto:help-gnu-emacs@gnu.org>
List-Help: <mailto:help-gnu-emacs-request@gnu.org?subject=help>
List-Subscribe: <http://lists.gnu.org/mailman/listinfo/help-gnu-emacs>,
	<mailto:help-gnu-emacs-request@gnu.org?subject=subscribe>
Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org
Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org
Xref: news.gmane.org gmane.emacs.help:78410
Archived-At: <http://permalink.gmane.org/gmane.emacs.help/78410>


--Apple-Mail-63-837641085
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=us-ascii

Hi,

I would like your opinion about a little trouble I have with the RefTeX =
plugin in Emacs (in fact I use Aquamacs but I suspect that the problem =
would be the same with a regular Emacs). I defined new environments by =
customizing reftex-label-alist:
thm of type h and prefix thm:, and prop of type h and prefix prop:. As =
far as I understand, the type is used when Emacs prompts to ask which =
type of label it should display in the label menu. I would like my =
theorems and propositions to be displayed together. But it seems that =
two environments of the same type cannot have different prefixes. When I =
insert a prop environment in a .tex file, Emacs inserts a label like =
this: \label{thm:}. If I modify the type of prop to p say, then the =
inserted label is \label{prop:} but I can't display prop and thm labels =
at the same time (except if I display all label types of course).

Does anyone knows if there is a way to modify this RefTeX behaviour? =
Thanks a lot.

Fabien=

--Apple-Mail-63-837641085
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
	charset=us-ascii

<html><head></head><body style=3D"word-wrap: break-word; =
-webkit-nbsp-mode: space; -webkit-line-break: after-white-space; =
">Hi,<div><br></div><div>I would like your opinion about a little =
trouble I have with the RefTeX plugin in Emacs (in fact I use Aquamacs =
but I suspect that the problem would be the same with a regular Emacs). =
I defined new environments by customizing =
reftex-label-alist:</div><div>thm of type h and prefix thm:, and prop of =
type h and prefix prop:. As far as I understand, the type is used when =
Emacs prompts to ask which type of label it should display in the label =
menu. I would like my theorems and propositions to be displayed =
together. But it seems that two environments of the same type cannot =
have different prefixes. When I insert a prop environment in a .tex =
file, Emacs inserts a label like this: \label{thm:}. If I modify the =
type of prop to p say, then the inserted label is \label{prop:} but I =
can't display prop and thm labels at the same time (except if I display =
all label types of course).</div><div><br></div><div>Does anyone knows =
if there is a way to modify this RefTeX behaviour? Thanks a =
lot.<br><div><span class=3D"Apple-style-span" style=3D"border-collapse: =
separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: =
normal; font-variant: normal; font-weight: normal; letter-spacing: =
normal; line-height: normal; orphans: 2; text-indent: 0px; =
text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; =
-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: =
auto; -webkit-text-stroke-width: 0px; font-size: medium; "><span =
class=3D"Apple-style-span" style=3D"border-collapse: separate; color: =
rgb(0, 0, 0); font-family: Helvetica; font-size: medium; font-style: =
normal; font-variant: normal; font-weight: normal; letter-spacing: =
normal; line-height: normal; orphans: 2; text-indent: 0px; =
text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; =
-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: =
auto; -webkit-text-stroke-width: 0px; "><div style=3D"word-wrap: =
break-word; -webkit-nbsp-mode: space; -webkit-line-break: =
after-white-space; "><span class=3D"Apple-style-span" =
style=3D"border-collapse: separate; color: rgb(0, 0, 0); font-family: =
Helvetica; font-size: medium; font-style: normal; font-variant: normal; =
font-weight: normal; letter-spacing: normal; line-height: normal; =
orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; =
widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; =
-webkit-border-vertical-spacing: 0px; =
-webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: =
auto; -webkit-text-stroke-width: 0px; "><span class=3D"Apple-style-span" =
style=3D"border-collapse: separate; color: rgb(0, 0, 0); font-family: =
Helvetica; font-size: 12px; font-style: normal; font-variant: normal; =
font-weight: normal; letter-spacing: normal; line-height: normal; =
orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; =
widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; =
-webkit-border-vertical-spacing: 0px; =
-webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: =
auto; -webkit-text-stroke-width: 0px; "><div style=3D"word-wrap: =
break-word; -webkit-nbsp-mode: space; -webkit-line-break: =
after-white-space; "><span class=3D"Apple-style-span" =
style=3D"border-collapse: separate; color: rgb(0, 0, 0); font-family: =
Helvetica; font-size: 12px; font-style: normal; font-variant: normal; =
font-weight: normal; letter-spacing: normal; line-height: normal; =
orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; =
widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; =
-webkit-border-vertical-spacing: 0px; =
-webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: =
auto; -webkit-text-stroke-width: 0px; "><div style=3D"word-wrap: =
break-word; -webkit-nbsp-mode: space; -webkit-line-break: =
after-white-space; "><span class=3D"Apple-style-span" =
style=3D"border-collapse: separate; color: rgb(0, 0, 0); font-family: =
Helvetica; font-size: 12px; font-style: normal; font-variant: normal; =
font-weight: normal; letter-spacing: normal; line-height: normal; =
orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; =
widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; =
-webkit-border-vertical-spacing: 0px; =
-webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: =
auto; -webkit-text-stroke-width: 0px; "><div style=3D"word-wrap: =
break-word; -webkit-nbsp-mode: space; -webkit-line-break: =
after-white-space; "><span class=3D"Apple-style-span" =
style=3D"border-collapse: separate; color: rgb(0, 0, 0); font-family: =
Helvetica; font-size: 12px; font-style: normal; font-variant: normal; =
font-weight: normal; letter-spacing: normal; line-height: normal; =
orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; =
widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; =
-webkit-border-vertical-spacing: 0px; =
-webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: =
auto; -webkit-text-stroke-width: 0px; "><div><div style=3D"word-wrap: =
break-word; -webkit-nbsp-mode: space; -webkit-line-break: =
after-white-space; "><div><font class=3D"Apple-style-span" =
color=3D"#808080"><br =
class=3D"Apple-interchange-newline">Fabien</font></div></div></div></span>=
</div></span></div></span></div></span></span></div></span></span></div></=
div></body></html>=

--Apple-Mail-63-837641085--