diff options
| author | Healfdene Goguen | 1998-05-06 15:31:04 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-06 15:31:04 +0000 |
| commit | 9bf10d027b3df65950c43f7e6e19ab7e5b491650 (patch) | |
| tree | e51b3c88560a54adf41cce0afbbc2ef785a09f17 /coqtags | |
| parent | dcdbb65a34fd64bfb2399ab17aca80d9f572d85b (diff) | |
Basic description of script management, in texinfo format.
Diffstat (limited to 'coqtags')
0 files changed, 0 insertions, 0 deletions