texmacs-users - Re: pb export .tex

Subject: mailing-list for TeXmacs Users

List archive

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

List archive

Re: pb export .tex