mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Fri, Oct 21, 2005 at 09:50:52PM +0200, Henri Lesourd wrote:
> >On 10/15/05, Henri Lesourd <address@hidden> wrote:
> >>>I want to typeset some Natural Deduction proofs in TeXmacs.  See pages
> >>>15 and 16 of [1]  for some examples and the formal syntax.  Using
> >>>faction bars almost works.  The only problem is that they extend their
> >>>width to include everything above and below them.  For natural
> >>>deduction the bar should only extend to include the things immediately
> >>>above and below.  Does there exists a TeXmacs module for this or how
> >>>would I go about typesetting this?
> >
> The plugin is now available on my web page :
> <<
>   http://www.ags.uni-sb.de/~henri/texmacs
> >>

The plug-in is interesting, but I do not think that it answers
the typographic question raised by Michael. The cleanest way to
implement natural deduction proofs is probably to enlarge the number
of "styles" for trees. This is an old item on the wish-list.

Best wishes, Joris