Bewerkingsgeschiedenis van Systeem Coq

Verklaring afkortingen: (huidig) = verschil met huidige versie, (vorige) = verschil met voorgaande versie, k = kleine wijziging

19 dec 2023

4 nov 2020

22 dec 2018

28 jan 2018

16 jan 2018

15 jan 2018