From mboxrd@z Thu Jan  1 00:00:00 1970
From: Nicolas Goaziou <n.goaziou@gmail.com>
Subject: Re: [FR new exporter] NAME and label
Date: Sat, 17 Nov 2012 14:55:08 +0100
Message-ID: <87pq3cnxkz.fsf@gmail.com>
References: <87obiw8iac.fsf@pank.eu>
Mime-Version: 1.0
Content-Type: text/plain
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([208.118.235.92]:46023)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <n.goaziou@gmail.com>) id 1TZive-0004pc-HF
	for emacs-orgmode@gnu.org; Sat, 17 Nov 2012 08:59:29 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <n.goaziou@gmail.com>) id 1TZivb-000807-FX
	for emacs-orgmode@gnu.org; Sat, 17 Nov 2012 08:59:26 -0500
Received: from mail-wi0-f169.google.com ([209.85.212.169]:46749)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <n.goaziou@gmail.com>) id 1TZivb-000802-7N
	for emacs-orgmode@gnu.org; Sat, 17 Nov 2012 08:59:23 -0500
Received: by mail-wi0-f169.google.com with SMTP id hq12so476078wib.0
	for <emacs-orgmode@gnu.org>; Sat, 17 Nov 2012 05:59:22 -0800 (PST)
In-Reply-To: <87obiw8iac.fsf@pank.eu> (rasmus@gmx.us's message of "Sat, 17 Nov
	2012 14:34:35 +0100")
List-Id: "General discussions about Org-mode." <emacs-orgmode.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-orgmode>
List-Post: <mailto:emacs-orgmode@gnu.org>
List-Help: <mailto:emacs-orgmode-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=subscribe>
Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
To: Rasmus <rasmus@gmx.us>
Cc: emacs-orgmode@gnu.org

Hello,

Rasmus <rasmus@gmx.us> writes:

> Hi,
>
> I rely on org-special-blocks.el to provide easy access to the LaTeX
> proof environment and such.

org-export.el supersedes org-special-blocks.el: don't use the latter.

> Up till now I have been placing LaTeX
> labels in them manually, but I would like to #+NAME them.
>
> Here's an example
> #+begin_src org
> * section two
>   #+NAME:p1
>   #+BEGIN_PROPOSITION
>   1+1=2
>   #+END_PROPOSITION
>   
>   By [[p1]] ... #+end_src
>
> This results in
> #+begin_src latex
> \section{section two}
> \label{sec-1}
> \label{p1}
> \begin{proposition}
> 1+1=2
> \end{proposition}
>
> By \ref{p1} \ldots{}
> #+end_src
>
> Basically, I would like to have the label inside the proposition.

Indeed. That should now be the case.

> Also, I think it might be nicer to use \dots as oppose to \ldots, as
> it is slightly more intelligent.

I thought \dots was an alias for \ldots. Isn't there any drawback to
replace \ldots with \dots (i.e. when amsmath isn't used)?


Regards,

-- 
Nicolas Goaziou