Skip to content

Commit

Permalink
Add a banner to advertise Proof Assistants SE.
Browse files Browse the repository at this point in the history
  • Loading branch information
Zimmi48 committed Mar 16, 2022
1 parent faa5d09 commit 4fed741
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion incl/footer.html
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,10 @@
<div id="sidebar">
<div id="block-aggregator-feed-1" class="clear-block block block-aggregator">
<h2 class="title">Recent news</h2>
<div class="content">
<div style="background-color: blanchedalmond; 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">
<p>Check
out <a href="https://coq.discourse.group/c/announcements/8">Discourse</a>
and <a href="https://twitter.com/CoqLang">Twitter</a> for
Expand Down

0 comments on commit 4fed741

Please sign in to comment.