diff options
| author | David Aspinall | 1998-11-25 12:52:43 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 12:52:43 +0000 |
| commit | 2db7c809bd699485e5394e00f8e73a7c8617dc1b (patch) | |
| tree | e641f50242cd22db64a55268d34327622fd680a6 /generic | |
| parent | 24eea086dff0da455ba9c082162feaa023de5522 (diff) | |
Added note about no specific doc for Coq PG
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions