Change BedRock Systems to BlueRock Security.

coq · Nov 11, 2024 · 0232b38 · 0232b38
1 parent 064d5f9
commit 0232b38
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 2 deletions.
diff --git a/files/bedrocklogo.gif b/files/bedrocklogo.gif
diff --git a/files/bluerock-logo.png b/files/bluerock-logo.png
diff --git a/pages/consortium.html b/pages/consortium.html
@@ -67,7 +67,7 @@
     <div class="frameworklabel">Current members</div>
     <div class="frameworkcontent">
         <strong>Gold membership</strong><br />
-        <a href="https://bedrocksystems.com/"><img class="member-logo" src="files/bedrocklogo.gif" width="250px" /></a>
+        <a href="https://bluerock.io/"><img class="member-logo" src="files/bluerock-logo.png" width="250px" /></a>
         <a href="https://formalv.com/"><img class="member-logo" src="files/formalvlogo.gif" width="250px" /></a>
     </div>
 </div>

diff --git a/pages/coq-team.html b/pages/coq-team.html
@@ -320,7 +320,7 @@
     <div class="picture">
       <img src="/files/team/blaisorblade.png" alt="Paolo G. Giarrusso" width="200"/></div>
     <div class="name"><a href="https://github.com/Blaisorblade">Paolo G. Giarrusso</a></div><div class="nickname">blaisorblade</div>
-    <div class="position">Formal Methods Engineer at Bedrock Systems, Inc., Berlin, Germany</div>
+    <div class="position">Formal Methods Engineer at BlueRock Security, Inc., Berlin, Germany</div>
     <div class="components">VsCoq</div>
   </div>
   <div class="person">