texmacs-users - Re: pb export .tex

Subscribers: 411
Owners

Grégoire Lecerf

Joris van der Hoeven

Contact owners

Post

RSS
Shared documents

mailing-list for TeXmacs Users

Text archives Help

Re: pb export .tex

From: Basile Audoly <address@hidden>
To: Giovanni Piredda <address@hidden>
Cc: address@hidden
Subject: Re: pb export .tex
Date: Fri, 23 Apr 2021 13:25:58 +0200

Thanks Giovanni, I wish I had noticed this earlier!

(I almost never attach a terminal to TeXmacs)

Basile

it is the output that one gets in the terminal activating the debugging tool from the Tools menu (with the default settings, that is only "auto" selected).

pb export .tex, Vincent Douce Mathoscope, 04/21/2021
- Re: pb export .tex, Giovanni Piredda, 04/21/2021
  - Re: pb export .tex, Massimiliano Gubinelli, 04/22/2021
    - Re: pb export .tex, Giovanni Piredda, 04/22/2021
- Re: pb export .tex, Massimiliano Gubinelli, 04/21/2021
- Re: pb export .tex, Giovanni Piredda, 04/22/2021
  - Re: pb export .tex, Giovanni Piredda, 04/22/2021
    - Re: pb export .tex, Basile Audoly, 04/23/2021
      - Re: pb export .tex, Giovanni Piredda, 04/23/2021
        
        Re: pb export .tex, Basile Audoly, 04/23/2021
  - Message not available
    - Message not available
      - Re: [SPAM] Re: pb export .tex, Vincent Douce Mathoscope, 04/23/2021
        
        Re: [SPAM] Re: pb export .tex, Giovanni Piredda, 04/23/2021

Archive powered by MHonArc 2.6.19.