diff options
| author | jforest | 2006-08-23 15:05:54 +0000 |
|---|---|---|
| committer | jforest | 2006-08-23 15:05:54 +0000 |
| commit | 24867e68545d0820cdff0b843b6d70ee189dc145 (patch) | |
| tree | 917ead1e7bde08e42eae1f8d3bfe78d225d8f2c9 /doc | |
| parent | 908a2269893046eada0e51a88aa7fdd5ced227ea (diff) | |
Bug in replace tactics introduced in r9073 (overlap between replace .. with and replace_term).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9076 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions