coq: История на версиите

Разлики: Изберете версиите, които желаете да сравните, посредством превключвателите срещу тях, и натиснете Enter или бутона за сравнение.
Легенда: (тек) = разлика с текущата версия, (пред) = разлика с предишната версия, м = малка промяна.