3 commits

Author	SHA1	Message	Date
Cyril Cohen	e87aef06e0	coqPackages: doc (#108937) ... changing bullet style	2021-01-11 10:23:05 +01:00
Cyril Cohen	9ffd16b385	coqPackages: refactor	2021-01-09 11:56:17 +01:00
Stephen OBrien	a7e9047db3	doc: convert coq to commonmark	2020-11-27 08:13:55 +00:00