~ezyang/coq/trunk-packaging-precise

Viewing all changes in revision 256.

  • Committer: Stephane Glondu
  • Date: 2011-12-25 12:42:53 UTC
  • Revision ID: git-v1:e655543207d470014e5173f41549e76cfa9fb6b9
Bump COQ_VERSION

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: