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
