diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-06-08 12:36:20 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-06-08 12:36:20 +0000 |
| commit | f89b20c5d5fb332581d67f4d689a22e8ef95f02f (patch) | |
| tree | c2028928b52d3df73586c081a8d02e7c19c59908 /etc/coq | |
| parent | dc8228180888ee719a13e7903490b8b247983bf1 (diff) | |
Mention not supporting E21
Diffstat (limited to 'etc/coq')
0 files changed, 0 insertions, 0 deletions