[2APL-developers] EIS 0.2

[Tristan B. <be...@in...>]

Hi all,

I have released EIS 0.2. Now it is about time to port 2APL to it (2 minutes work). I would be happy to do that task. But I will only do so once we get a EIS-0.2-compatible elevator-environment from the GOAL-guys, since you depend on it.

Best
Tristan