On Tue, Sep 18, 2012 at 8:47 PM, Richard Heck wrote:
> On 09/18/2012 04:39 PM, Tilles, Joshua wrote:
>
> Does anyone know anything about the fork of LyX for Structured Derivations?
> The research group driving Structured Derivations offers a version of LyX
> that's been exte
On 09/18/2012 04:39 PM, Tilles, Joshua wrote:
Does anyone know anything about the fork of LyX for Structured
Derivations? The research group driving Structured Derivations offers
a version of LyX that's been extended to make working with proofs
especially easy [here][imped.fi <http://
Does anyone know anything about the fork of LyX for Structured Derivations? The
research group driving Structured Derivations offers a version of LyX that's
been extended to make working with proofs especially easy [here][imped.fi] but
it's only available as a Windows executab
