diff options
| author | Pierre Courtieu | 2004-04-06 17:25:51 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-04-06 17:25:51 +0000 |
| commit | 57424b3cf8c3a901043b850adfed003e2f8c18b3 (patch) | |
| tree | c4afd923c2228a530a2349c7533c8c2e0e40a317 /FAQ | |
| parent | f560effab6f7242c88938f76782d56ba732c31a8 (diff) | |
added some commands in coq menu
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions