mailing-list for TeXmacs Users

[Henri Lesourd <address@hidden>]

Michael D. Adams 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?
> > >      
> > I can provide you with a plugin I wrote to do precisely this
> > some months ago. Currently, the code is a little bit crappy,
> > so I need some days to find the time to clean it.
> >    
>
> I would be most interested in seeing this.
>
> Michael D. Adams
> address@hidden
>
>
>  
The plugin is now available on my web page :
<<
  http://www.ags.uni-sb.de/~henri/texmacs
>>

You need to get the two packages proof-trees and _libs0. The
install is very simple, you just unpack the two tarballs in
your ~/.TeXmacs/plugins dir (see the file proof-trees/README
for more details).

There is an example file in proof-trees/examples.

WARNING: Currently (in TeXmacs versions 1.0.5.7 to 1.0.5.10),
there is a problem in the loading of the plugins files.
So you must open TeXmacs, and then wait, till the loading
of the plugins is finished. As soon as you can see the two
messages on the console :
<<
Loading Libs0...
Loading Proof-trees...
...
>>

You can safely load the example file, or any file that uses
this plugin.

To summarize, currently there is a drawback with this plugin,
you cannot load the files directly using a command line like :
<<
/home/smith>texmacs my-proofs.tm  <carriage return>
...
>>

This annoying loading bug will be solved sooner or later, anyway.

Best, Henri

P.S. : Tell me what you think about these proof trees.