~ezyang/coq/trunk-packaging-precise

Viewing all changes in revision 257.

  • Committer: Stephane Glondu
  • Date: 2011-12-25 12:46:17 UTC
  • Revision ID: git-v1:de109d8c0c68f569b907e6e24271f259ba28888e
Update changelog and prepare upload to unstable

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: