~jgross-h/coq/v8.5-packaging

Viewing all changes in revision 85.

  • Committer: Samuel Mimram
  • Date: 2007-08-18 20:34:57 UTC
  • Revision ID: git-v1:e5be0a14a05242ceb5d225e54dbe366dc9c4143b
New upstream release.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: