From 9fe25c2f9d296519e5645840b5346a5269c8a3a3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= Date: Wed, 11 Dec 2024 15:26:17 +0100 Subject: [PATCH] Update casing for Coq-community. --- pages/community.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pages/community.html b/pages/community.html index f32e2c53df..5d696ba66c 100755 --- a/pages/community.html +++ b/pages/community.html @@ -93,7 +93,7 @@ called coq-community, exists to ensure the long term maintenance of Coq packages, and advance other collaborative projects such as documentation writing; it is -always looking for new volunteers. Among other projects, coq-community +always looking for new volunteers. Among other projects, Coq-community hosts Awesome Coq, a curated list of Coq formalizations, plugins, tools, and resources.

@@ -104,7 +104,7 @@