Versions précédentes de Pcoq

• Version 1.3 (Coq 7.2, Janvier 2002)
• Version 1.2 (Coq 7.0, Mai 2001)
• Version 1.0 (Coq 6.3.1, Février 2000)