Skip to content

History

New page

Revisions

  • Updated Rocq Call YEAR MM DD (markdown)

    @yannl35133 yannl35133 committed Jul 27, 2026
    0954b19

  • Updated Benchmarking (markdown)

    @SkySkimmer SkySkimmer committed Jul 9, 2026
    5e2b76d

  • Updated Rocq'n'share 2026 (markdown)

    @cpitclaudel cpitclaudel committed Jul 3, 2026
    dbaf060

  • Updated Rocq'n'share 2026 (markdown)

    @cpitclaudel cpitclaudel committed Jul 3, 2026
    e049055

  • Updated Release Schedule for Rocq 9.3 (markdown)

    @gares gares committed Jun 30, 2026
    d78b8ef

  • Updated Release Schedule for Rocq 9.3 (markdown)

    @gares gares committed Jun 30, 2026
    d1e5f4e

  • Created Release Schedule for Rocq 9.3 (markdown)

    @gares gares committed Jun 29, 2026
    7e346fd

  • Updated Release Plan (markdown)

    @gares gares committed Jun 29, 2026
    bf35200

  • Updated Rocq'n'share 2026 (markdown)

    @Zimmi48 Zimmi48 committed Jun 29, 2026
    6f3d5f3

  • Updated Rocq'n'share 2026 (markdown)

    @cpitclaudel cpitclaudel committed Jun 28, 2026
    4576e2a

  • Updated Rocq'n'share 2026 (markdown)

    @cpitclaudel cpitclaudel committed Jun 27, 2026
    dcd5fa0

  • Updated Rocq'n'share 2026 (markdown)

    @cpitclaudel cpitclaudel committed Jun 27, 2026
    0bff5bd

  • Updated Rocq'n'share 2026 (markdown)

    @mattam82 mattam82 committed Jun 24, 2026
    c562504

  • Updated Rocq Calls (markdown)

    @mattam82 mattam82 committed Jun 23, 2026
    c96bb76

  • Updated Rocq Call 2026 06 16 (markdown)

    @proux01 proux01 committed Jun 16, 2026
    9c900d8

  • Updated Rocq'n'share 2026 (markdown)

    @SkySkimmer SkySkimmer committed Jun 16, 2026
    b4c49e3

  • Updated Rocq Call 2026 06 16 (markdown)

    @shilangyu shilangyu committed Jun 10, 2026
    d9e8693

  • Updated Rocq Call 2026 06 16 (markdown)

    @yannl35133 yannl35133 committed Jun 10, 2026
    3a22d90

  • Updated Rocq Call 2026 06 16 (markdown)

    @SkySkimmer SkySkimmer committed Jun 10, 2026
    6333496

  • Updated Rocq Calls (markdown)

    @proux01 proux01 committed Jun 10, 2026
    a733cc2

  • Updated Rocq Call 2026 06 16 (markdown)

    @shilangyu shilangyu committed Jun 9, 2026
    01aa802

  • Updated Rocq Calls (markdown)

    @shilangyu shilangyu committed Jun 9, 2026
    07ba019

  • Created Rocq Call 2026 06 16 (markdown)

    @shilangyu shilangyu committed Jun 9, 2026
    447d83e

  • Updated Rocq Call 2026 06 02 (markdown)

    @yannl35133 yannl35133 committed Jun 9, 2026
    8decfdc

  • Updated if syntax (markdown)

    @proux01 proux01 committed Jun 1, 2026
    a1c2f94

  • Add talk proposal

    @dhalilov dhalilov committed May 30, 2026
    b62a3fa

  • Updated Home (markdown)

    @cpitclaudel cpitclaudel committed May 30, 2026
    455779f

  • Updated Rocq'n'share 2026 (markdown)

    @cpitclaudel cpitclaudel committed May 30, 2026
    38f6d88

  • Updated Rocq'n'share 2026 (markdown)

    @cpitclaudel cpitclaudel committed May 30, 2026
    1a3d7fa

  • Updated Rocq Call 2026 06 02 (markdown)

    @rlepigre-skylabs-ai rlepigre-skylabs-ai committed May 28, 2026
    af07c6f