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 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