Skip to content

History

Revisions

  • Updated Home (markdown)

    @SkySkimmer SkySkimmer committed Jul 18, 2025
    512079a

  • s/0/2/

    @erikmd erikmd committed Jan 30, 2025
    b8f1233

  • Add detail for latest Coq versions using current OCaml version policy

    @erikmd erikmd committed Jan 30, 2025
    4de12ab

  • Apply @rep0's fix

    @erikmd erikmd committed Nov 26, 2024
    9747668

  • Apply @rep0's fix

    @erikmd erikmd committed Nov 26, 2024
    2d567de

  • Updated Home (markdown)

    @erikmd erikmd committed Sep 6, 2023
    8e95314

  • Improve JSON

    @erikmd erikmd committed Sep 6, 2023
    f1c8295

  • Mention explore.ggcr.dev

    @erikmd erikmd committed Sep 6, 2023
    bf51014

  • Updated Home (markdown)

    @erikmd erikmd committed Sep 9, 2022
    e7b8498

  • Add todo

    @erikmd erikmd committed Jun 29, 2022
    9857d3b

  • Add a link

    @erikmd erikmd committed Jun 29, 2022
    4dbaa5b

  • Updated Home (markdown)

    @erikmd erikmd committed Jun 28, 2022
    d04098b

  • Add coq 8.16+rc1 & Workaround https://github.com/ocaml/opam-repository/issues/21680

    @erikmd erikmd committed Jun 28, 2022
    fc42446

  • docs: Adapt to https://github.com/coq-community/docker-base/pull/20

    @erikmd erikmd committed Jun 28, 2022
    d3f81fd

  • Updated Home (markdown)

    @erikmd erikmd committed Jun 14, 2022
    2a1b2c7

  • Add Alectryon link

    @erikmd erikmd committed Jun 14, 2022
    9d1f893

  • Update a detail

    @erikmd erikmd committed Jun 14, 2022
    4592bea

  • Fix coq-serapi constraint

    @erikmd erikmd committed Jun 14, 2022
    9f686ec

  • Improve a detail

    @erikmd erikmd committed Jun 14, 2022
    9e06e8d

  • Fix a remark

    @erikmd erikmd committed Jun 14, 2022
    98adf53

  • Improve details

    @erikmd erikmd committed Jun 14, 2022
    ea9f2dc

  • Add missing word

    @erikmd erikmd committed Jun 13, 2022
    0f9004c

  • Improve details

    @erikmd erikmd committed Jun 13, 2022
    8dbe0bc

  • Bump h3 to h2

    @erikmd erikmd committed Jun 13, 2022
    88f21c7

  • Improve details

    @erikmd erikmd committed Jun 13, 2022
    cda9a41

  • Add a remark linking to admin.sh

    @erikmd erikmd committed Jun 13, 2022
    7a0f182

  • Refactor page to improve refs

    @erikmd erikmd committed Jun 13, 2022
    7e7de9f

  • Improve a detail

    @erikmd erikmd committed Jun 13, 2022
    d58cff7

  • Improve a detail

    @erikmd erikmd committed Jun 13, 2022
    26648e7

  • Imrpove details

    @erikmd erikmd committed Jun 13, 2022
    4ddf085