On Oct 5, 2015, at 12:27 PM, Miguel Campusano <mcampusa@dcc.uchile.cl> wrote:

Now I'm making some progress with annotating the unused temp var ;)<Screen Shot 2015-10-05 at 17.27.03.png>

On Sun, Oct 4, 2015 at 10:58 AM Marcus Denker <marcus.denker@inria.fr> wrote:

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