diff options
| author | David Aspinall | 1999-08-23 17:03:46 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-23 17:03:46 +0000 |
| commit | 724ea98df1ff15725c5e275ecf65779d950f5ed6 (patch) | |
| tree | 902fe467d52ebc48e1e7c0ed2340869641f6658a /coq/example.v | |
| parent | 0826a2d7341a47768d17947ec0e81037af13c6f6 (diff) | |
Fix for toolbar disable for FSF Emacs.
Diffstat (limited to 'coq/example.v')
0 files changed, 0 insertions, 0 deletions