Re:JupyterLab LaTeX – live-editing of LaTeX documents in Jup...
by williamstein on Tuesday May 18, 2021 @08:10AM
(#27193595)
Coming soon - they just closed their concurrent editing ticket! :-). https://github.com/jupyterlab/jupyterlab/issues/5382#event-4...
[ Parent
| on HN ]
There are no comments on this comment yet.