search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

Update Consortium page #152

Closed maximedenes closed 4 years ago

maximedenes commented 4 years ago

We try to reflect better the current situation, in particular the various options for partners.

Zimmi48 commented 4 years ago

Note #149: you'll have to run the sync script manually after merging.

maximedenes commented 4 years ago

@ybertot I added some information about what the membership means. Does the phrasing look ok to you?

gares commented 4 years ago

Since when Gold is more than platinum? Did you mean silver?

maximedenes commented 4 years ago

Since when Gold is more than platinum? Did you mean silver?

Thanks, I inverted the two in the list. The description is ok.

maximedenes commented 4 years ago

Fixed.

Zimmi48 commented 4 years ago

Should the home page of the website still contain the word "sponsor"?