Skip to content

Activity

Showing most recent first

switch final links for renaming

Force push
palmskogforce pushed to renaming-fix-links • 0d28866…5445270 • 
yesterday

switch final links for renaming

palmskogcreated renaming-fix-links • 0d28866 • 
yesterday

Merge pull request #166 from rocq-community/logo

Pull request merge
Zimmi48pushed 3 commits to master • a9b9b66…796048d • 
yesterday

Introduce dark mode variant of the logo.

Force push
Zimmi48force pushed to logo • 6cc2cdc…5dcbccb • 
2 days ago

Introduce dark mode variant of the logo.

Zimmi48created logo • 6cc2cdc • 
2 days ago

Deleted branch

palmskogdeleted renaming • 
2 days ago

Merge pull request #165 from rocq-community/renaming

Pull request merge
palmskogpushed 6 commits to master • 820fc2b…a9b9b66 • 
2 days ago

rocq-community -> Rocq-community unless in URLs

palmskogpushed 1 commit to renaming • 0c33581…1d3edcb • 
2 days ago

rename Coq to Rocq in LICENSE.md

Force push
palmskogforce pushed to renaming • c6308a8…0c33581 • 
3 days ago

rename Coq to Rocq in most places

palmskogcreated renaming • c6308a8 • 
3 days ago

Deleted branch

palmskogdeleted change-owner • 
on Apr 29, 2024

Merge pull request #155 from coq-community/change-owner

Pull request merge
palmskogpushed 2 commits to master • d743b7c…820fc2b • 
on Apr 29, 2024

list Pierre Roux as owner

palmskogcreated change-owner • 00dea63 • 
on Apr 29, 2024

Deleted branch

palmskogdeleted ci-difference • 
on Jul 27, 2023

Merge pull request #149 from coq-community/ci-difference

Pull request merge
palmskogpushed 3 commits to master • e363fc1…d743b7c • 
on Jul 27, 2023

change order of ecosystem position FAQ items based on Théo Zimmermann…

palmskogpushed 1 commit to ci-difference • 40e44e4…6581a1c • 
on Jul 27, 2023

add FAQ item on Coq's CI

Force push
palmskogforce pushed to ci-difference • 35cd64a…40e44e4 • 
on Jul 22, 2023

add FAQ item on Coq's CI

palmskogcreated ci-difference • 35cd64a • 
on Jul 22, 2023

Deleted branch

palmskogdeleted platform-difference • 
on Jul 22, 2023

Merge pull request #148 from coq-community/platform-difference

Pull request merge
palmskogpushed 2 commits to master • 7322334…e363fc1 • 
on Jul 22, 2023

add FAQ item on Coq Platform, uniformize ecosystem position questions

Force push
palmskogforce pushed to platform-difference • 91539db…e66bcf2 • 
on Jul 22, 2023

add FAQ item on Coq Platform, uniformize ecosystem position questions

palmskogcreated platform-difference • 91539db • 
on Jul 20, 2023