From mboxrd@z Thu Jan  1 00:00:00 1970
From: Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com>
Subject: Re: Texlive packages in Gnus via Org
Date: Thu, 09 Jan 2014 13:18:53 +0100
Message-ID: <8761ptjqky.fsf@gmail.com>
References: <87d2k1lbdq.fsf@gmail.com>       <878uupv39x.fsf@bzg.ath.cx>
	<87lhypjtd3.fsf@gmail.com> <87ha9djt4t.fsf@gmail.com>
Mime-Version: 1.0
Content-Type: multipart/alternative; boundary="=-=-="
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:41216)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <joseph.vidal.rosset@gmail.com>) id 1W1EZj-0002oc-Pa
	for emacs-orgmode@gnu.org; Thu, 09 Jan 2014 07:19:05 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <joseph.vidal.rosset@gmail.com>) id 1W1EZi-0008AG-Mm
	for emacs-orgmode@gnu.org; Thu, 09 Jan 2014 07:19:03 -0500
In-Reply-To: <87ha9djt4t.fsf@gmail.com> (Joseph Vidal-Rosset's message of
	"Thu, 09 Jan 2014 12:23:46 +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: Bastien <bzg@gnu.org>
Cc: "Liste-emacs-orgmode@gnu.org " <emacs-orgmode@gnu.org>

--=-=-=
Content-Type: text/plain

#+OPTIONS: latex:t
#+LATEX_HEADER: \usepackage{bussproofs}

Maybe by adding  in headers LaTex Header  in the style of a  org file it
could work

\begin{prooftree}
\AxiomC{$A$}
\AxiomC{$A \to \bot$}
\RightLabel{\scriptsize{$\to E$}}
\BinaryInfC{$\bot$}
\end{prooftree}


it works !!!

Thanks a lot Bastien, you are a genius !

Best wishes,

Jo. 

--=-=-=
Content-Type: multipart/related; boundary="==-=-="

--==-=-=
Content-Type: text/html

<p>
Maybe by adding  in headers LaTex Header  in the style of a  org file it<br  />
could work<br  />
</p>


<div class="figure">
<p><img src="cid:_tmp_ltxpng_latex6879Y5X_5a473d324e2f0d6a44d1ea34bd1a35a78bf357d7.png" alt="\begin{prooftree}
\AxiomC{$A$}
\AxiomC{$A \to \bot$}
\RightLabel{\scriptsize{$\to E$}}
\BinaryInfC{$\bot$}
\end{prooftree}" /></p>
</div>


<p>
it works !!!<br  />
</p>

<p>
Thanks a lot Bastien, you are a genius !<br  />
</p>

<p>
Best wishes,<br  />
</p>

<p>
Jo. </p>

--==-=-=
Content-Type: image/png
Content-ID: <_tmp_ltxpng_latex6879Y5X_5a473d324e2f0d6a44d1ea34bd1a35a78bf357d7.png>
Content-Disposition: inline;
 filename=latex6879Y5X_5a473d324e2f0d6a44d1ea34bd1a35a78bf357d7.png
Content-Transfer-Encoding: base64

iVBORw0KGgoAAAANSUhEUgAAAJoAAAAgBAMAAAAYgHw3AAAAMFBMVEX///8AAAAAAAAAAAAAAAAA
AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAv3aB7AAAAD3RSTlMAzZkQMiJmRFR276u7
id2VUKvEAAAACXBIWXMAAA7EAAAOxAGVKw4bAAABf0lEQVRIDWNggAIBGAODZsQQYSjAFEIRYfqM
wkXm6Bsg88BsVQwRVAGnr6h8BI9FPwDBgbIImZbyHUMLVIDNH+4vbpgaAqZxGH+DqUSnm+0TYEJM
DlAWAdPMGX7CtKDRzAX8E2BCrAegLAKmNTAsgmlBozkYuBTgQt1QFn7T2DcprYFrQWVUK2kdAIrs
OQMCp5ZCJPGbxsHAcBDVEDivgYFHAM6JcYAw8ZuWwMCgBdeCwmBjYGBaABc5DGXhNY0jgYHhPlwL
CqONgYH3A0yEDZZW8JnGev4JA9P64zA9yHTMPwcGrT8wQ3jAUtxnzqw5c6YBWRmQzayvOWkJmhh+
LjM+aS8GhlR88sTKsYAVzmEwaCZWBz51LBNAsieZgdR/CgDMCnCkLLrXAOOTTfMqAYH+BQYG1g8c
BgZkG4OssQjIYRNgYE4A0hQDZgWgEUwXGJio4jaOAKBp90/OfUTIXQWEFJAkjy8LkWQQWPGoaaSH
GUjHaLgNeLhhrwDwOQsAT8d8IKgVPPgAAAAASUVORK5CYII=
--==-=-=--

--=-=-=--