diff options
| author | Pierre Courtieu | 2004-04-21 17:15:52 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-04-21 17:15:52 +0000 |
| commit | 489e65e4fc69f0dc657491113366d72855558983 (patch) | |
| tree | 96cf7464fa39368189e49cdb8211cf61ced454a4 /FAQ | |
| parent | a363ab8c69697bf7a1a57ee3589246204174f999 (diff) | |
Deleted the "3 buffers view menu entry" for coq, this is now a
proofgeneral menu entry (bug of the 3.5 release).
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions