Re: [henshin-dev] Henshin Editor

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [henshin-dev] Henshin Editor

From: Jens Bürger <jens.buerger@xxxxxxxxxxxxxxxxx>
Date: Tue, 22 Jul 2014 21:48:26 +0200
Delivered-to: henshin-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/henshin-dev>
List-help: <mailto:henshin-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/henshin-dev>, <mailto:henshin-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/henshin-dev>, <mailto:henshin-dev-request@eclipse.org?subject=unsubscribe>

Hello João,

AFAIK, the GUI in the paper you reference is from an early version of Henshin and looks more like the editor EMF Tiger, the predecessor of Henshin.

Christian may correct me if I'm wrong ( ;) ), but I don't think that the GUI you see in the respective paper is maintained in any way.

Jens

References:
- [henshin-dev] Henshin Editor
  - From: João Carlos Heringer Moreira

Prev by Date: [henshin-dev] Henshin Editor
Next by Date: Re: [henshin-dev] Henshin Editor
Previous by thread: [henshin-dev] Henshin Editor
Next by thread: Re: [henshin-dev] Henshin Editor
Index(es):
- Date
- Thread

Breadcrumbs