mention the Rocq rename

coq · Jul 4, 2024 · 65e25d9 · 65e25d9
1 parent 55bff5d
commit 65e25d9
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/incl/footer.html b/incl/footer.html
@@ -12,6 +12,12 @@
     <div id="block-aggregator-feed-1" class="clear-block block block-aggregator">
       <h2 class="title">Recent news</h2>
       <div style="background-color: blanchedalmond; padding-left: 5px;" class="content">
+        <p>October 2023: we have decided to rename 'Coq' into 'The Rocq Prover'.
+          Renaming all existing resources is a lot of work, it will be a slow, gradual transition.
+          During this transition period, please feel free to mention the proof assistant as Coq/Rocq.
+        </p>
+      </div>
+      <div style="padding-left: 5px;" class="content">
         <p>There is now a Stack Exchange Q&amp;A site dedicated to <a href="https://proofassistants.stackexchange.com">Proof Assistants</a>! Do not hesitate to post and answer Coq questions there (use the <a href="https://proofassistants.stackexchange.com/questions/tagged/coq">coq</a> tag).</p>
       </div>
       <div style="padding-left: 5px;" class="content">

diff --git a/incl/header.html b/incl/header.html
@@ -3,7 +3,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
 
 <head>
-  <title><#TITLE> | The Coq Proof Assistant</title>
+  <title><#TITLE> | The Coq/Rocq Proof Assistant</title>
   <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
   <link rel="shortcut icon" href="/files/coq_favicon.ico" type="image/x-icon" />
   <link type="text/css" rel="stylesheet" media="all" href="/styles/barron/style.css" />
@@ -30,7 +30,7 @@
         <div id="logo">
           <a href="/" title="Home"><img src="/files/barron_logo.png" alt="Home" /></a>
         </div>
-        <h1 class="site-name"><a href="/" title="Home">The Coq Proof Assistant</a></h1>
+        <h1 class="site-name"><a href="/" title="Home">The Coq/Rocq Proof Assistant</a></h1>
       </div><!-- /logo-wrapper-->
     </div><!-- /header-->