> On Jun 6, 2016, at 8:45 AM, George Neuner wrote:
>
> On Mon, 6 Jun 2016 13:34:41 +0100, Laurent
> wrote:
>
>> Ah, so you meant MrEd Designer (MED) then, I wasn't sure :)
>> (mred was the previous GUI lib, part of DrScheme, whereas MED is an
>> external package)
>
> Sorry for the confusion -
On Mon, 6 Jun 2016 13:34:41 +0100, Laurent
wrote:
>Ah, so you meant MrEd Designer (MED) then, I wasn't sure :)
>(mred was the previous GUI lib, part of DrScheme, whereas MED is an
>external package)
Sorry for the confusion - I wasn't aware that the design editor went
by a different acronym. I a
2 matches
Mail list logo