Skip to content

History / Basic architecture of Coq User Interfaces

Edit page New page

Revisions

  • Link to coq-lsp protocol

    @herbelin herbelin committed Jul 5, 2023
    7e251d9

  • Added Coquille in history

    @herbelin herbelin committed Jul 4, 2023
    988d706

  • Updated Basic architecture of Coq User Interfaces (markdown)

    @herbelin herbelin committed Jul 1, 2023
    394e9d5

  • Links

    @herbelin herbelin committed Jul 1, 2023
    d600983

  • "official" spelling of jsCoq

    @herbelin herbelin committed Jun 30, 2023
    d16f685

  • Updated Basic architecture of Coq User Interfaces (markdown)

    @whonore whonore committed Jun 30, 2023
    a7211de

  • Updated Basic architecture of Coq User Interfaces (markdown)

    @whonore whonore committed Jun 30, 2023
    5b9ac9a

  • Updated Basic architecture of Coq User Interfaces (markdown)

    @Matafou Matafou committed Jun 30, 2023
    91e0e54

  • Updated Basic architecture of Coq User Interfaces (markdown)

    @Matafou Matafou committed Jun 30, 2023
    fe88443

  • Using "Official" VsCoq terminology

    @herbelin herbelin committed Jun 30, 2023
    56f3380

  • Updated Basic architecture of Coq User Interfaces (markdown)

    @herbelin herbelin committed Jun 29, 2023
    b537904

  • Tentative page describing the architecture of user interfaces

    @herbelin herbelin committed Jun 29, 2023
    86717fe