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: