diff options
| author | Assia Mahboubi | 2007-11-16 15:19:28 +0000 |
|---|---|---|
| committer | Assia Mahboubi | 2007-11-16 15:19:28 +0000 |
| commit | 707074f4198b17e93304397a7bde54f7785ec678 (patch) | |
| tree | 009cc12fcc283fb29a94a768f6d57082839037bf /BUGS.developer | |
| parent | 6212b7f6c30ecae3bcd8d39a3332ed429c581b52 (diff) | |
coq-user-reserved-db added
Diffstat (limited to 'BUGS.developer')
0 files changed, 0 insertions, 0 deletions