diff options
| author | Hendrik Tews | 2011-05-12 11:59:15 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2011-05-12 11:59:15 +0000 |
| commit | df9f007644f89c6acd7104ea641876a868e10e89 (patch) | |
| tree | f0aba499bc141ef873d05908453b6b14a8b260dc /generic/proof-script.el | |
| parent | 3b1a0c3079bf120cda4afbf2d191b98018555659 (diff) | |
- add test coq/ex/test-cases/change-ancestor for the
change-ancestor bug
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions