diff options
| author | Pierre Courtieu | 2000-11-24 14:38:18 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2000-11-24 14:38:18 +0000 |
| commit | f485629cd5b0e4ed3c9ef70385b4979c9e5315e7 (patch) | |
| tree | 2004508c99352f78d4342dcf5b582e4842590fea /FAQ | |
| parent | 20f205b75f0de1de10d31196256d143c8031447c (diff) | |
Continuing Coq V7 compatibility work, Begin Silent -> Set Silent, etc...
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions