diff options
| author | Pierre Courtieu | 2006-08-24 12:45:50 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-08-24 12:45:50 +0000 |
| commit | d84ab86cf1f2f485e87351612f24f9ab7a7560dc (patch) | |
| tree | 1f46ff30abdc4b8e07486460e7e7b3eac058e631 /BUGS.developer | |
| parent | 584c3a565264c498cb5fe1fed173f1920af56fc0 (diff) | |
fixing a bug introduced lately (coq-save-command-p *needs* two args
beacause proof-save-command-p needs is so defined).
Diffstat (limited to 'BUGS.developer')
0 files changed, 0 insertions, 0 deletions