diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2012-09-07 14:52:43 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2012-09-07 14:52:43 +0000 |
commit | ba090c7e88c00df4d0db7e5c521bd30d4fb61ec4 (patch) | |
tree | c8c685bd6ea9ad69056f830b9080a0aa4b67684c /coq | |
parent | 4e68ca9005bbebb0044f9a9f1754163f23db3ac5 (diff) |
Added one point + details to CHANGES.
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions