From mboxrd@z Thu Jan 1 00:00:00 1970 From: Joseph Vidal-Rosset Subject: org-mode for swi-prolog and latex export ? Date: Sun, 20 Jul 2014 09:54:58 +0200 Message-ID: Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=001a11c1be70be357204fe9b4f79 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:34081) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X8lxp-0008Ut-43 for emacs-orgmode@gnu.org; Sun, 20 Jul 2014 03:55:22 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1X8lxn-0003F1-39 for emacs-orgmode@gnu.org; Sun, 20 Jul 2014 03:55:21 -0400 Received: from mail-vc0-x235.google.com ([2607:f8b0:400c:c03::235]:35152) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X8lxm-0003Ev-V1 for emacs-orgmode@gnu.org; Sun, 20 Jul 2014 03:55:19 -0400 Received: by mail-vc0-f181.google.com with SMTP id lf12so10115732vcb.12 for ; Sun, 20 Jul 2014 00:55:18 -0700 (PDT) List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-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: "Liste-emacs-orgmode@gnu.org" --001a11c1be70be357204fe9b4f79 Content-Type: text/plain; charset=UTF-8 Hello the list, Here is my question : is there a mean to use org-mode to export both the prolog file (for example my-program.pl) and the documentation in .tex (my-program.tex) ? I see that there are solutions in swi-prolog but I have difficulties to understand the documentation, and therefore I wonder if there is an org-mode route. I hope so. In advance, many thanks Jo. --001a11c1be70be357204fe9b4f79 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hello the list,

Here is = my question : is there a mean to use org-mode to export both the prolog fil= e (for example my-program.pl) and the = documentation in .tex (my-program.tex) ?

I see that there are solutions in swi-prolog but I have difficult= ies to understand the documentation, and therefore I wonder if there is an = org-mode route.

I hope so.

In advance, many tha= nks

Jo.
--001a11c1be70be357204fe9b4f79--