diff options
| author |  Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-16 22:00:15 +0000 |
|---|---|---|
| committer | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-16 22:00:15 +0000 |
| commit | 97cc3f9bb7f50a9d38494b3a4c5fa78384f1cf79 (patch) | |
| tree | 68a19d4a04a8095ace784ce8f0cbc69d21417df4 /parsing/g_ltacnew.ml4 | |
| parent | 87d0789ec9533e2efc5513d5a50d3a4e3d641d82 (diff) | |
Added a manpage for coqide.
Diffstat (limited to 'parsing/g_ltacnew.ml4')
0 files changed, 0 insertions, 0 deletions