diff options
author | 2004-07-16 22:00:15 +0000 | |
---|---|---|
committer | 2004-07-16 22:00:15 +0000 | |
commit | 97cc3f9bb7f50a9d38494b3a4c5fa78384f1cf79 (patch) | |
tree | 68a19d4a04a8095ace784ce8f0cbc69d21417df4 /library/global.ml | |
parent | 87d0789ec9533e2efc5513d5a50d3a4e3d641d82 (diff) |
Added a manpage for coqide.
Diffstat (limited to 'library/global.ml')
0 files changed, 0 insertions, 0 deletions