coq/coq.github.io issues and pull requests

#244 - 8.18 and 8.19 docs use the branch version instead of the tag

Issue - State: open - Opened by SkySkimmer about 2 months ago - 2 comments

#234 - Bugzilla attachments should live on GitHub

Issue - State: open - Opened by JasonGross about 7 years ago - 14 comments
Labels: help wanted

#102 - Please publish documentation for offline viewing

Issue - State: closed - Opened by ghost about 6 years ago - 8 comments

#100 - broken links on the website

Issue - State: closed - Opened by coqbot over 7 years ago - 5 comments

#99 - Expand explanation on opam

Issue - State: open - Opened by coqbot almost 8 years ago - 2 comments

#98 - "||" doesn't render in the tutorial

Issue - State: closed - Opened by coqbot over 8 years ago - 9 comments

#95 - Why does the "Using OPAM to install Coq" instructions set OPAMROOT instead of using switches?

Issue - State: closed - Opened by Lysxia over 5 years ago - 3 comments

#94 - Start listing Coq schools in the community page.

Pull Request - State: closed - Opened by Zimmi48 over 5 years ago - 9 comments

#93 - Bug of the website header in the stdlib.

Issue - State: open - Opened by Zimmi48 over 5 years ago

#92 - Advertise Discourse and rework community page.

Pull Request - State: closed - Opened by Zimmi48 over 5 years ago - 3 comments

#91 - Add 301 redirections for opam documentation

Pull Request - State: closed - Opened by vbgl over 5 years ago - 2 comments

#90 - Updated version of nahas tutorial.

Pull Request - State: closed - Opened by mdnahas almost 6 years ago - 1 comment

#89 - Create developer map page

Issue - State: open - Opened by Zimmi48 almost 6 years ago - 6 comments

#88 - What shall we do with the distrib directory?

Issue - State: closed - Opened by vbgl almost 6 years ago - 4 comments

#87 - Add OPAM documentation

Pull Request - State: closed - Opened by vbgl almost 6 years ago

#86 - Rename the files holding the news

Pull Request - State: closed - Opened by vbgl almost 6 years ago - 3 comments

#85 - Remove various aliases

Pull Request - State: closed - Opened by vbgl almost 6 years ago

#84 - adds 2018 Coq FLoC and 2019 CoqPL workshops in the list

Pull Request - State: closed - Opened by ybertot almost 6 years ago

#83 - Coq 8.9.0 release.

Pull Request - State: closed - Opened by silene almost 6 years ago

#82 - Moving to GitHub pages

Issue - State: closed - Opened by maximedenes almost 6 years ago - 11 comments

#81 - https://coq.inria.fr/news/ does not mention 8.9+beta1

Issue - State: closed - Opened by JasonGross almost 6 years ago - 2 comments

#80 - Coq 8.9+beta1 release.

Pull Request - State: closed - Opened by silene about 6 years ago - 9 comments

#79 - Better orient users to the PDF manual.

Pull Request - State: closed - Opened by Zimmi48 about 6 years ago

#78 - Announce 8.8.2 release.

Pull Request - State: closed - Opened by Zimmi48 about 6 years ago - 1 comment

#77 - Mention current academic partners

Pull Request - State: closed - Opened by maximedenes over 6 years ago

#76 - Put a link to opam instruction in the "get coq" page

Pull Request - State: closed - Opened by gares over 6 years ago - 1 comment

#75 - Announce the 8.8.1 release.

Pull Request - State: closed - Opened by Zimmi48 over 6 years ago - 1 comment

#74 - Fix broken links on the Coq website.

Pull Request - State: closed - Opened by Zimmi48 over 6 years ago - 1 comment

#73 - Mention ways of contributing (technically and financially) on index page

Pull Request - State: closed - Opened by maximedenes over 6 years ago

#72 - Update the Consortium page to reflect the current offers

Pull Request - State: closed - Opened by maximedenes over 6 years ago

#71 - Add minimal default.nix

Pull Request - State: closed - Opened by maximedenes over 6 years ago - 4 comments

#70 - Add standard github header

Pull Request - State: closed - Opened by maximedenes over 6 years ago - 4 comments

#69 - Add link to the master branch version of the refman.

Pull Request - State: closed - Opened by Zimmi48 over 6 years ago - 1 comment

#68 - Update links to documentation.

Pull Request - State: closed - Opened by Zimmi48 over 6 years ago - 1 comment

#67 - Make download links point to download page instead of GitHub

Pull Request - State: closed - Opened by maximedenes over 6 years ago - 3 comments

#66 - Coq 8.8.0 release

Pull Request - State: closed - Opened by maximedenes over 6 years ago - 3 comments

#65 - Figures is epsent in Reference Manual

Issue - State: closed - Opened by FeelUsM over 6 years ago - 4 comments

#64 - coq.inria.fr is down

Issue - State: closed - Opened by paul-kline over 6 years ago - 6 comments

#63 - Coq 8.8+beta1 release.

Pull Request - State: closed - Opened by maximedenes over 6 years ago - 1 comment

#62 - Add info about gitter.

Pull Request - State: closed - Opened by jfehrle over 6 years ago - 5 comments

#61 - 8.7.2 annoucement

Pull Request - State: closed - Opened by Zimmi48 over 6 years ago

#60 - Consortium page.

Pull Request - State: closed - Opened by maximedenes almost 7 years ago - 1 comment

#59 - Announce the updated macOS package.

Pull Request - State: closed - Opened by Zimmi48 almost 7 years ago

#58 - Update version info on "Installing Coq via OPAM"

Issue - State: closed - Opened by blefloch almost 7 years ago - 3 comments

#57 - Coq 8.7.1 annoucement.

Pull Request - State: closed - Opened by Zimmi48 almost 7 years ago - 1 comment

#56 - Removal of the FAQ page.

Pull Request - State: closed - Opened by mattjquinn almost 7 years ago - 2 comments

#55 - Missing right curly braces on the faq's bibtex entry

Issue - State: closed - Opened by gallais almost 7 years ago - 1 comment

#54 - Update tutorial following coq/coq#842.

Pull Request - State: closed - Opened by Zimmi48 almost 7 years ago - 2 comments

#53 - News on migration to GitHub.

Pull Request - State: closed - Opened by Zimmi48 almost 7 years ago - 1 comment

#52 - HTML version of the tutorial on the website is not up-to-date

Issue - State: closed - Opened by Zimmi48 about 7 years ago - 2 comments

#51 - Remove obsolete news item with bad link

Pull Request - State: closed - Opened by psteckler about 7 years ago - 5 comments

#50 - There should be a Coq YouTube channel

Issue - State: closed - Opened by Zimmi48 about 7 years ago - 1 comment

#49 - Fix coq/coq#2831.

Pull Request - State: closed - Opened by Zimmi48 about 7 years ago

#48 - Coq 8.7+beta2

Pull Request - State: closed - Opened by Zimmi48 about 7 years ago - 2 comments

#47 - Updating citing Coq in FAQ.

Pull Request - State: closed - Opened by herbelin about 7 years ago - 5 comments

#46 - Coq 8.7+beta1 release.

Pull Request - State: closed - Opened by Zimmi48 about 7 years ago - 2 comments

#45 - This repository is looking for a maintainer

Issue - State: closed - Opened by Zimmi48 about 7 years ago - 3 comments

#44 - Mention StackOverflow / Stack Exchange.

Pull Request - State: closed - Opened by Zimmi48 about 7 years ago

#43 - complete list of program committee for CoqPL 2018

Pull Request - State: closed - Opened by ybertot over 7 years ago

#42 - Remove Tutorial from Download page

Pull Request - State: closed - Opened by Zimmi48 over 7 years ago

#41 - Remove obsolete refman and devel publishing info

Pull Request - State: closed - Opened by gares over 7 years ago - 2 comments

#40 - Adding a preliminary web-page for the CoqPL 2018 workshop.

Pull Request - State: closed - Opened by ybertot over 7 years ago

#39 - Very minor: rename repo description

Issue - State: closed - Opened by william-lawvere over 7 years ago - 1 comment

#38 - Remove space from main page.

Pull Request - State: closed - Opened by william-lawvere over 7 years ago - 2 comments

#37 - Add JasonGross/coq-scripts, JasonGross/coq-tools

Pull Request - State: closed - Opened by JasonGross over 7 years ago - 1 comment

#36 - Capitalize some words for uniformity

Pull Request - State: closed - Opened by psteckler over 7 years ago - 5 comments

#35 - add Github link to Community page

Pull Request - State: closed - Opened by psteckler over 7 years ago - 4 comments

#34 - Link to previous versions

Pull Request - State: closed - Opened by herbelin over 7 years ago - 4 comments

#33 - add All Downloads link to footer

Pull Request - State: closed - Opened by psteckler over 7 years ago - 2 comments

#32 - use /coq-85 link instead of /download for 8.5pl2 and 8.5pl3

Pull Request - State: closed - Opened by psteckler over 7 years ago - 1 comment

#31 - Updating contents of section user interfaces

Pull Request - State: closed - Opened by herbelin almost 8 years ago - 9 comments

#30 - Fix typo in short introduction

Pull Request - State: closed - Opened by jacquev6 almost 8 years ago - 1 comment

#29 - make the bug tracker accessible directly from the main page

Pull Request - State: closed - Opened by ybertot about 8 years ago

#28 - community and contribution-index pages switched to OPAM

Pull Request - State: closed - Opened by gares about 8 years ago - 1 comment

#27 - Update 2016.html

Pull Request - State: closed - Opened by jnarboux over 8 years ago

#26 - Update 2016.html

Pull Request - State: closed - Opened by jnarboux over 8 years ago

#25 - For python3, bind testing server only to localhost

Pull Request - State: closed - Opened by tchajed over 8 years ago - 1 comment

#24 - Make coq_favicon.ico square

Pull Request - State: closed - Opened by tchajed over 8 years ago - 2 comments

#23 - Add list of contributed talks

Pull Request - State: closed - Opened by jnarboux over 8 years ago

#22 - Add PC members for Coq Workshop

Pull Request - State: closed - Opened by jnarboux almost 9 years ago - 1 comment

#21 - Adding OPAM repository names for Coq, targetting experienced OPAM users.

Pull Request - State: closed - Opened by herbelin almost 9 years ago - 4 comments

#20 - Add web page for the Coq Workshop 2016

Pull Request - State: closed - Opened by jnarboux almost 9 years ago - 4 comments

#19 - Wrong OPAM instructions

Issue - State: closed - Opened by clarus almost 9 years ago - 1 comment

#18 - Coq releases opam

Pull Request - State: closed - Opened by clarus almost 9 years ago - 4 comments

#17 - Updated OPAM instructions

Pull Request - State: closed - Opened by clarus almost 9 years ago

#16 - COQ@ITP'15: import Gregory's solution + update Gregory's course title.

Pull Request - State: closed - Opened by strub about 9 years ago

#15 - Update 130.html

Pull Request - State: closed - Opened by CohenCyril about 9 years ago

#14 - Import COQ@ITP'15 tutorial webpage.

Pull Request - State: closed - Opened by strub about 9 years ago