texmacs-users - Re: [TeXmacs] Cancellation of terms

Subject: mailing-list for TeXmacs Users

List archive

wow, that is quite cool ! if i had time i would really try

to do it:)

On Sun, Mar 15, 2015 at 10:16 PM, Michael Shea <address@hidden> wrote:

Is there any way in TexMacs to do cancel like below.

[TeXmacs] Cancellation of terms, Michael Shea, 03/15/2015
- Re: [TeXmacs] Cancellation of terms, Nicola Mingotti, 03/16/2015
  - Re: [TeXmacs] Cancellation of terms, Sam Liddicott, 03/18/2015
    - Re: [TeXmacs] Cancellation of terms, Nicola Mingotti, 03/18/2015
      - Re: [TeXmacs] Cancellation of terms, Martial Tarizzo, 03/18/2015
        
        Re: [TeXmacs] Cancellation of terms, Nicola Mingotti, 03/18/2015
        
        Re: [TeXmacs] Cancellation of terms, Miguel de Benito Delgado, 03/20/2015
        
        Re: [TeXmacs] Cancellation of terms, Sam Liddicott, 03/20/2015
        
        Re: [TeXmacs] Cancellation of terms, Martial Tarizzo, 03/20/2015
        Re: [TeXmacs] Cancellation of terms, Sam Liddicott, 03/20/2015
        Re: [TeXmacs] Cancellation of terms, Sam Liddicott, 03/20/2015
        Re: [TeXmacs] Cancellation of terms, Miguel de Benito Delgado, 03/20/2015