Skip to content

History

Revisions

  • Created Winter 2023 Call (markdown)

    @ejgallego ejgallego committed Nov 7, 2023
    fee92de

  • Updated Coq Lsp Calls (markdown)

    @ejgallego ejgallego committed Nov 7, 2023
    b1b22be

  • Updated September 2023 Call (markdown)

    @ejgallego ejgallego committed Nov 7, 2023
    cd657ae

  • Updated September 2023 Call (markdown)

    @ejgallego ejgallego committed Sep 25, 2023
    a60247c

  • Updated September 2023 Call (markdown)

    @ejgallego ejgallego committed Sep 25, 2023
    543adc3

  • Updated September 2023 Call (markdown)

    @ejgallego ejgallego committed Sep 25, 2023
    060e397

  • Updated Coq Lsp Calls (markdown)

    @ejgallego ejgallego committed Sep 15, 2023
    d616215

  • Updated Call 24 04 2023 (markdown)

    @ejgallego ejgallego committed Sep 15, 2023
    900b76e

  • Updated Call 03 04 2023 (markdown)

    @ejgallego ejgallego committed Apr 3, 2023
    ea30bb4

  • Updated Call 03 04 2023 (markdown)

    @ejgallego ejgallego committed Apr 3, 2023
    efc8f6c

  • Updated Call 03 04 2023 (markdown)

    @ejgallego ejgallego committed Apr 3, 2023
    eb9f720

  • Created Call 24 04 2023 (markdown)

    @ejgallego ejgallego committed Apr 3, 2023
    e9eb75a

  • Updated Coq Lsp Calls (markdown)

    @ejgallego ejgallego committed Apr 3, 2023
    e7ead3c

  • Updated Call 03 04 2023 (markdown)

    @ejgallego ejgallego committed Apr 3, 2023
    83f783f

  • Updated Call 03 04 2023 (markdown)

    @bhaktishh bhaktishh committed Apr 3, 2023
    09025f3

  • Created Call 03 04 2023 (markdown)

    @ejgallego ejgallego committed Apr 2, 2023
    b00e41d

  • Updated Coq Lsp Calls (markdown)

    @ejgallego ejgallego committed Apr 2, 2023
    85068d6

  • Updated Call 06 03 2023 (markdown)

    @ejgallego ejgallego committed Mar 6, 2023
    cef3ffc

  • Created Call 13 03 2023 (markdown)

    @ejgallego ejgallego committed Mar 6, 2023
    daedeac

  • Updated Coq Lsp Calls (markdown)

    @ejgallego ejgallego committed Mar 6, 2023
    e4c39df

  • Updated Coq Lsp Calls (markdown)

    @ejgallego ejgallego committed Mar 6, 2023
    121bbb2

  • Updated Call 27 02 2023 (markdown)

    @ejgallego ejgallego committed Feb 28, 2023
    7d8bf6f

  • Created Call 06 03 2023 (markdown)

    @ejgallego ejgallego committed Feb 27, 2023
    c4f7e38

  • Updated Home (markdown)

    @ejgallego ejgallego committed Feb 27, 2023
    69e1dc0

  • Updated Home (markdown)

    @ejgallego ejgallego committed Feb 27, 2023
    b4cdc64

  • Updated Call 27 02 2023 (markdown)

    @ejgallego ejgallego committed Feb 27, 2023
    59596b5

  • Updated Call 23 02 2023 (markdown)

    @ejgallego ejgallego committed Feb 27, 2023
    995553a

  • Updated Coq Lsp Calls (markdown)

    @ejgallego ejgallego committed Feb 27, 2023
    c6f06a7

  • Updated Coq Lsp Calls (markdown)

    @ejgallego ejgallego committed Feb 27, 2023
    0f8832b

  • Created Call 27 02 2023 (markdown)

    @ejgallego ejgallego committed Feb 27, 2023
    229596a