issues
search
coq
/
coq.github.io
Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15
stars
37
forks
source link
The news infrastructure could be cleaned up from the Makefile.
#170
Open
Zimmi48
opened
3 years ago
Zimmi48
commented
3 years ago
169 removed our news system in the left bar and archived the existing news items as "Old news". The news infrastructure is left-over and could be partially cleaned up.
Zimmi48
commented
10 months ago
It should also be cleaned up from the README.
169 removed our news system in the left bar and archived the existing news items as "Old news". The news infrastructure is left-over and could be partially cleaned up.