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:
