← Back to branch summary

~ezyang/coq/trunk-packaging-precise

Viewing all changes in revision 276.

  • Committer: Edward Z. Yang
  • Date: 2014-04-14 02:29:55 UTC
  • Revision ID: git-v1:0ac49c057434c82cad755bf9699b78c12118e17e
Enable validation.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: