diff options
| author | David Aspinall | 1998-10-01 16:46:39 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-01 16:46:39 +0000 |
| commit | 3b005439c323529a3146dc29c1f09137ef760d48 (patch) | |
| tree | 5465f7ddc67e323e745ec8f50a6c70c1fa428284 /html | |
| parent | 90b42bf1a93a6b32a371d8d1ac18e27c7046ade4 (diff) | |
Updated for new path in coqtags
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions