~jgross-h/coq/v8.2

Viewing all changes in revision 10117.

  • Committer: Hugo Herbelin
  • Date: 2015-01-29 08:12:27 UTC
  • Revision ID: git-v1:7cc6466a01c01d6d5fb16525d928a2aec4a2bc4a
v8.2: Applying Xavier Leroy's patch for cmxs installation on cygwin (#3843).

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: