Viewing all changes in revision 277.

Committer: Edward Z. Yang
Date: 2014-06-22 11:35:43 UTC
Revision ID: git-v1:18dc213642a9f5a9682e942b2188da72407b592a

Revert "Enable validation."

This reverts commit 0ac49c057434c82cad755bf9699b78c12118e17e.

added added

removed removed

~ezyang/coq/trunk-packaging-precise