Ramkumar Ramachandra

> Sure, but `Arg.Rest_all` is a very recent addition to the standard library, so it will not be available for most users. Could you advise on what I could use...

Okay, I pushed a hacky fix. Hopefully the CI will be happy now.

Do you suggest asking the CI to build these too? The upside of targeting coqdoc for this patch: there's pretty good CI coverage of the command-line options, and we don't...

All done; removed the deprecation message. I've dropped `-noindex`, `-nopreamble`, `-noexternals` in favor of the `-no-...` versions (both used to work earlier), and dropped `-V` in favor of `-version` (both...

Hi @Alizter, it's all fixed in the latest push. Please verify.

Okay, so the problem arose in the first place because `cpretty.mll` was using a mix of tabs and spaces for indentation, and VSCode was unhappy with this: there was probably...

Hi @sonoisa, It would be nice if we could support the tikz-cd equivalents of the xypic syntax we already support. Unless I'm mistaken, this is an easy task, and just...

> These changes allow it work with the LiteDOM (at least with the examples that I tried) I found the example where it fails: try ```tex \begin{xy} \xymatrix{ \color{red}{\textbf{FORTRAN (1957)}}^{*}\ar[dr]...

You're absolutely right; I'd not built xypic correctly. It works perfectly now! See #6.

Okay, this is ready to merge as soon as #6 is merged.