Up – Package index » coq-lsp » Library petanque_shell » Petanque_shell » Protocol_shell » TableOfContentsModule Protocol_shell.TableOfContents Source toc { uri } returns the table of contents for a document; the semantics are quite Coq-specific, in particular, each sentence of the document can contribute
coq-lsp CHANGES README Library Astdump_plugin Library Count_genargs_plugin Library Example_plugin Library Explain_errors Library Goaldumpl_plugin Library Savevo_plugin Library Unidiff_plugin Library coq-lsp.coq Library coq-lsp.fleche Library coq-lsp.lang Library coq-lsp.layout-printer Library coq-lsp.lsp Library coq-lsp.petanque Library coq-lsp.plugin Library coq-lsp.request Library coq-lsp.serlib Library fleche_waterproof Library petanque_json Library petanque_shell Library serlib_btauto Library serlib_cc Library serlib_extraction Library serlib_firstorder Library serlib_funind Library serlib_ltac Library serlib_ltac2 Library serlib_ltac2_ltac1 Library serlib_micromega Library serlib_micromega_core Library serlib_number_string_notation_plugin Library serlib_ring Library serlib_ssr Library serlib_ssrmatching Library serlib_tauto Library serlib_zify Sources