texmacs-users - Re: [TeXmacs] Natural Deduction

Subject: mailing-list for TeXmacs Users

List archive

Re: [TeXmacs] Natural Deduction

From: Henri Lesourd <address@hidden>
To: Joris van der Hoeven <address@hidden>
Cc: address@hidden
Subject: Re: [TeXmacs] Natural Deduction
Date: Sat, 22 Oct 2005 14:37:25 +0200

Currently, this plugin draws exactly the kind of trees that
are shown in Michael's example document. And it does that
in a completely automatic way.

*NO*, the fraction bars are *NOT* shortened in the way Michael requests.

Right.

Natural Deduction, Michael D. Adams, 10/15/2005
- Re: [TeXmacs] Natural Deduction, Henri Lesourd, 10/15/2005
  - Message not available
    - Re: [TeXmacs] Natural Deduction, Henri Lesourd, 10/21/2005
      - Re: [TeXmacs] Natural Deduction, Joris van der Hoeven, 10/21/2005
        
        Re: [TeXmacs] Natural Deduction, Henri Lesourd, 10/21/2005
        
        Re: [TeXmacs] Natural Deduction, Joris van der Hoeven, 10/22/2005
        
        Re: [TeXmacs] Natural Deduction, Henri Lesourd, 10/22/2005
        
        Message not available
        
        Re: [TeXmacs] Natural Deduction, Henri Lesourd, 10/22/2005
- Re: [TeXmacs] Natural Deduction, Joris van der Hoeven, 10/15/2005

List archive

Re: [TeXmacs] Natural Deduction