Re: Structured Derivations

[Scott Kostyshak]

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=26lang=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

[Scott Kostyshak]

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=26lang=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

[Scott Kostyshak]

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

[Richard Heck]

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

Re: Structured Derivations

[Richard Heck]

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

Re: Structured Derivations

[Richard Heck]

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