~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
collapse all
Show diffs side-by-side
added
removed