search

coq / coq.github.io

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

Mark 1999 tutorial as unmaintained #116

Closed Lysxia closed 5 years ago

Lysxia commented 5 years ago

Closes #107

Furthermore, what do you think of reordering the lists so newer material comes first? (Can do this in a separate PR.)

Zimmi48 commented 5 years ago

Furthermore, what do you think of reordering the lists so newer material comes first? (Can do this in a separate PR.)

Why not, although this could suggest that older material's fate is to be replaced by more recent material. Maybe we should rather strive to put maintained material on top, by using the last release / / reedition / update date...

Lysxia commented 5 years ago

I see, this may require more thinking. What sparked this is that, at the moment, this no-longer-maintained tutorial appears first, so we need to promote something else instead. I guess we could also present things this way: "here's a tutorial we recommend; if you want more, here are all these other resources (not necessarily in a meaningful order)". I haven't looked at the rest yet to make a concrete choice.

I look forward to a jsCoq-based tutorial.

Zimmi48 commented 5 years ago

I unfortunately do not think that we are ready to endorse any tutorial officially. We could just move this tutorial down the list as a starter.