diff options
| author | David Aspinall | 2004-05-07 00:02:04 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-05-07 00:02:04 +0000 |
| commit | 7885665da5161b1fb31c5e2a65693704eabb3d88 (patch) | |
| tree | 3f169ce395f6e657c378fce82da5305d3b03ec6c /doc/README.documentation | |
| parent | 969d971f2d7339a3a03271eb86e82452599348a0 (diff) | |
point to Coq/README for syntax.
Diffstat (limited to 'doc/README.documentation')
0 files changed, 0 insertions, 0 deletions