diff options
| author | Pierre Courtieu | 2008-01-31 12:03:04 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2008-01-31 12:03:04 +0000 |
| commit | b496b332c1b10215faa9e522a831ef0856fdbec3 (patch) | |
| tree | 4f3e7cf95e29af46eba3c7956ed0d5af575fdab1 /generic | |
| parent | ddfda254d0695ae7f188b6636b1e9ebd6757b84b (diff) | |
Added Assia's contribution to ssreflect mode for coq in CHANGES.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions