On 04 Oct 2015, at 10:47, Esteban Lorenzano <estebanlm@gmail.com> wrote:

On 04 Oct 2015, at 10:46, Esteban Lorenzano <estebanlm@gmail.com> wrote:

On 04 Oct 2015, at 08:30, Marcus Denker <marcus.denker@inria.fr> wrote:

On 03 Oct 2015, at 14:16, Marcus Denker <marcus.denker@inria.fr> wrote:

Hi,

With Miguel Campusano we build a small demo.

Another thing we worked on��� but it needs some more work to be integratable. Visualising

links using the side-icon feature of the new editor:

would be cool to put this also to quality assistance :)

and of course breakpoints ;)

Yes!

Marcus