Ιστορικό αλλαγών για τη σελίδα «Coq»
  | Στο λήμμα αυτό έχει ενσωματωθεί κείμενο από το λήμμα Coq της Αγγλικής Βικιπαίδειας, η οποία διανέμεται υπό την GNU FDL και την CC-BY-SA 4.0. (ιστορικό/συντάκτες). |
Για κάθε έκδοση που εμφανίζεται παρακάτω, πατήστε στην ημερομηνία της για να την δείτε.
Εξωτερικά εργαλεία:
(παρόν) = διαφορά από την παρούσα έκδοση, (προηγ.) = διαφορά από την προηγούμενη έκδοση, μ = μικρή αλλαγή, → = επεξεργασία ενότητας, ← = αυτόματη σύνοψη επεξεργασίας