Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

mention the Rocq rename #241

Merged
merged 4 commits into from
Jul 5, 2024
Merged

mention the Rocq rename #241

Changes from 3 commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
65e25d9
mention the Rocq rename
gasche Jul 4, 2024
e3974f3
new iteration after feedback from silene
gasche Jul 5, 2024
5b56e15
new iteration: only a 'news' item
gasche Jul 5, 2024
77c2994
new iteration with more context information
Zimmi48 Jul 5, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions incl/footer.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,9 @@
<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'. The rename is currently in preparation, and will hopefully happen sometime in 2024.</p>
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Here's my suggestion to provide (hopefully) just the right amount of information:

Suggested change
<p>October 2023: we have decided to rename 'Coq' into 'The Rocq Prover'. The rename is currently in preparation, and will hopefully happen sometime in 2024.</p>
<p>The Coq team has decided that Coq will be renamed into 'The Rocq Prover'. Background information available <a href="https://coq.discourse.group/t/coq-community-survey-2022-results-part-iv-and-itp-paper-announcement/2001#renaming-coq-8">here</a>. The rename is currently in preparation, we hope to have a new visual identity and website by the end of 2024, and to do a first release of Rocq around that time.</p>

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great, thanks! I updated the PR.

</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">
Expand Down
Loading