Up – Package index » coq-lsp » Sources » serlib_ltac2_ltac1 » ser_tac2quote_ltac1.ml

Source file `ser_tac2quote_ltac1.ml`

coq-lsp
- CHANGES
- README
- Library Astdump_plugin
  - Astdump_plugin
- Library Example_plugin
  - Example_plugin
- Library Explain_errors
  - Explain_errors
- Library Goaldumpl_plugin
  - Goaldumpl_plugin
- Library Savevo_plugin
  - Savevo_plugin
- Library Unidiff_plugin
  - Unidiff_plugin
- Library coq-lsp.coq
  - Coq
- Library coq-lsp.fleche
  - Fleche
- Library coq-lsp.lang
  - Lang
- Library coq-lsp.lsp
  - Fleche_lsp
- Library coq-lsp.petanque
  - Petanque
- Library coq-lsp.plugin
- Library coq-lsp.request
  - Request
- Library coq-lsp.serlib
  - Serlib
- Library fleche_waterproof
  - Fleche_waterproof
- Library petanque_json
  - Petanque_json
- Library petanque_shell
  - Petanque_shell
- Library serlib_btauto
  - Serlib_btauto
- Library serlib_cc
  - Serlib_cc
- Library serlib_extraction
  - Serlib_extraction
- Library serlib_firstorder
  - Serlib_firstorder
- Library serlib_funind
  - Serlib_funind
- Library serlib_ltac
  - Serlib_ltac
- Library serlib_ltac2
  - Serlib_ltac2
- Library serlib_ltac2_ltac1
  - Serlib_ltac2_ltac1
- Library serlib_micromega
  - Serlib_micromega
- Library serlib_micromega_core
  - Serlib_micromega_core
- Library serlib_number_string_notation_plugin
  - Serlib_number_string_notation_plugin
- Library serlib_ring
  - Serlib_ring
- Library serlib_ssr
  - Serlib_ssr
- Library serlib_ssrmatching
  - Serlib_ssrmatching
- Library serlib_tauto
  - Serlib_tauto
- Library serlib_zify
  - Serlib_zify
- Sources
  - Astdump_plugin
    - astdump_plugin.ml
    - main.ml
  - Example_plugin
    - example_plugin.ml
    - main.ml
  - Explain_errors
    - explain_errors.ml
    - main.ml
  - Goaldumpl_plugin
    - goaldumpl_plugin.ml
    - main.ml
  - Savevo_plugin
    - main.ml
    - savevo_plugin.ml
  - Unidiff_plugin
    - main.ml
    - unidiff_plugin.ml
  - coq-lsp.coq
  - coq-lsp.fleche
  - coq-lsp.lang
  - coq-lsp.lsp
  - coq-lsp.petanque
    - agent.ml
    - petanque.ml
  - coq-lsp.request
    - request.ml
  - coq-lsp.serlib
  - fleche_waterproof
  - petanque_json
  - petanque_shell
  - serlib_btauto
    - serlib_btauto.ml
  - serlib_cc
    - serlib_cc.ml
  - serlib_extraction
    - ser_g_extraction.ml
    - serlib_extraction.ml
  - serlib_firstorder
    - ser_g_ground.ml
    - serlib_firstorder.ml
  - serlib_funind
    - ser_g_indfun.ml
    - serlib_funind.ml
  - serlib_ltac
  - serlib_ltac2
  - serlib_ltac2_ltac1
    - ser_tac2quote_ltac1.ml
    - serlib_ltac2_ltac1.ml
  - serlib_micromega
    - serlib_micromega.ml
  - serlib_micromega_core
    - serlib_micromega_core.ml
  - serlib_number_string_notation_plugin
  - serlib_ring
    - ser_g_ring.ml
    - serlib_ring.ml
  - serlib_ssr
  - serlib_ssrmatching
    - ser_ssrmatching.ml
    - serlib_ssrmatching.ml
  - serlib_tauto
    - serlib_tauto.ml
  - serlib_zify
    - serlib_zify.ml

1
(* empty until we support Ltac2 genargs *)