> the collaborative aspect of people sharing the > same Emacs window. nextjournal has collaborative editing as well ;-) you can create groups or grant individual access to your notebooks. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210130/d3ee5175/attachment.html>