new iteration after feedback from silene

coq · Jul 5, 2024 · e3974f3 · e3974f3
1 parent 65e25d9
commit e3974f3
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/incl/footer.html b/incl/footer.html
@@ -14,7 +14,8 @@ <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.
+          During this transition period, please feel free to use both names, for example
+          by writing "formalized with Rocq (formerly Coq)" or "formalized with Coq (also named Rocq)".
         </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/Rocq Proof Assistant</title>
+  <title><#TITLE> | The Coq Proof Assistant, the Rocq prover</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/Rocq Proof Assistant</a></h1>
+        <h1 class="site-name"><a href="/" title="Home">The Coq (Rocq) Proof Assistant</a></h1>
       </div><!-- /logo-wrapper-->
     </div><!-- /header-->