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 to make working with proofs especially easy > [here][imped.fi] but it's only available as a Windows executable. I need > something that will run on Mac or Linux, and I'm happy to build it on my > own—I just can't figure out where to go to get more information. > > In case it's relevant, I'm running LyX 2.0.4 on Mac OS X Mountain Lion. > > The LyX license requires that any "derived work" be offered as source code. > This would definitely count. I'd write these folks and ask them to provide > you with the source. (Indeed, they really ought to have put it on the web.) > If they refuse, please let us know, and we will contact them to inform them > that they are in violation of the license. > > Richard > I don't know if this is still being used, but there is: LyX SD-edition (extended version with special support for structured derivations) http://www.imped.fi/wordpress/?page_id=26&lang=en I do not see source code available. It looks to be based on 1.6 so maybe it is out of date. Scott
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>] but it's only available as a Windows executable. I need something that will run on Mac or Linux, and I'm happy to build it on my own---I just can't figure out where to go to get more information. In case it's relevant, I'm running LyX 2.0.4 on Mac OS X Mountain Lion. The LyX license requires that any "derived work" be offered as source code. This would definitely count. I'd write these folks and ask them to provide you with the source. (Indeed, they really ought to have put it on the web.) If they refuse, please let us know, and we will contact them to inform them that they are in violation of the license. Richard
Structured Derivations
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 executable. I need something that will run on Mac or Linux, and I'm happy to build it on my own—I just can't figure out where to go to get more information. In case it's relevant, I'm running LyX 2.0.4 on Mac OS X Mountain Lion. Thank you for any help! --Josh T [imped.fi]: http://www.imped.fi/wordpress/?page_id=26&lang=en
