Merge pull request #245 from gmalecha/gmalecha/bedrock-bluerock

Change BedRock Systems to BlueRock Security
coq · Dec 13, 2024 · 6b96443 · 6b96443
2 parents 9fe25c2 + 4cac2ce
commit 6b96443
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 3 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,8 +67,8 @@
     <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://formalv.com/"><img class="member-logo" src="files/formalvlogo.gif" width="250px" /></a>
+        <a href="https://bluerock.io/"><img class="member-logo" src="files/bluerock-logo.png" width="250" /></a>
+        <a href="https://formalv.com/"><img class="member-logo" src="files/formalvlogo.gif" width="250" /></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">