texmacs-users - Re: [TeXmacs] Natural Deduction

Subscribers: 415
Owners

Grégoire Lecerf

Joris van der Hoeven

Contact owners

Post

RSS
Shared documents

mailing-list for TeXmacs Users

Text archives Help

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

Archive powered by MHonArc 2.6.19.