texmacs-users - [TeXmacs] Bussproofs (or something comparable) in TeXmacs

Subject: mailing-list for TeXmacs Users

List archive

From: Christoph Senjak <address@hidden>
To: address@hidden
Subject: [TeXmacs] Bussproofs (or something comparable) in TeXmacs
Date: Wed, 19 May 2010 00:34:55 +0200
Domainkey-signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=quuRC72iL/pA2MXtCvJynUnHwmXqLTyIrzju3/zPRwES6zJztxu5Lkafrzhr3QnpHe ELGP9aH8sAoGAF49Wyx4hFXqDFLS3ZvOFmBSVITMHPQ24vCVBZprgDtdYGIpmRMgKN49 HCfFoOl8S3Gq4NugwDUh3qMpbUi8WVPrkdXCM=

Hello.

Is there something similar to Bussproofs in TeXmacs, i.e. something to
create derivation-trees?

Regards,
Christoph Senjak

[TeXmacs] Bussproofs (or something comparable) in TeXmacs, Christoph Senjak, 05/19/2010