Re: Structured Derivations

On Tue, Sep 18, 2012 at 8:47 PM, Richard Heck rgh...@lyx.org 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 extended to make

Re: Structured Derivations

On Tue, Sep 18, 2012 at 8:47 PM, Richard Heck rgh...@lyx.org 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 extended to make

Re: Structured Derivations

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 extended

Re: Structured Derivations

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://imped.fi]

Re: Structured Derivations

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://imped.fi]

Re: Structured Derivations

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