aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/doc/critical-bugs
Commit message (Expand)AuthorAge
* Very first try at listing the critical bugs of the history of Coq.Gravatar Hugo Herbelin2018-06-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 07:06:04 +0000