[faq] Update FAQ for VsCoq 2 release.

[ejgallego]

Fixes #817

Rendered

[ejgallego]

cc: @patrick-nicodemus @corwin-of-amber

[patrick-nicodemus]

Thanks for this! I'll start looking into the documentation module and writing a LaTeX converter when I have some time.

[ejgallego]

Thanks for this! I'll start looking into the documentation module and writing a LaTeX converter when I have some time.

I assume it looks good to you?

I did work a bit on the skeleton LaTeX converter we discussed actually, if you can wait a few more days I'll push a branch with a minimal working example. Sorry for the delay but got a lot of deadlines these last weeks.

[patrick-nicodemus]

I have not read it, sorry. I am at work right now. I'll read it this weekend and get back to you

…

On Fri, Oct 4, 2024, 9:07 AM Emilio Jesús Gallego Arias < ***@***.***> wrote: Thanks for this! I'll start looking into the documentation module and writing a LaTeX converter when I have some time. I assume it looks good to you? I did work a bit on the skeleton LaTeX converter we discussed actually, if you can wait a few more days I'll push a branch with a minimal working example. Sorry for the delay but got a lot of deadlines these last weeks. — Reply to this email directly, view it on GitHub <#846 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AH2OS46BE5C3A5UTM4DQNDLZZ2HI3AVCNFSM6AAAAABPLMPVOSVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDGOJTGY3DQNBUGY> . You are receiving this because you were mentioned.Message ID: ***@***.***>