Английская Википедия:Coq (software): история изменений
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.
