История изменений
Исправление buddhist, (текущая версия) :
OCaml
Оффтоп: 
ymn, вот «есть мнение», что lablgtk существует почти исключительно ради Сoq. Почему оно, в таком случае, такое протухшее?
Исходная версия buddhist, :
OCaml
Оффтоп: ymn, вот «есть мнение», что lablgtk существует почти исключительно ради coq, почему оно, в таком случае, такое протухшее?