proof-general/coq/ex/test-cases/change-ancestor, branch master Emacs plugins for proof management systems fix typo + add one missing cvsignore 2012-05-09T08:12:39+00:00 Hendrik Tews 2012-05-09T08:12:39+00:00 4634aede2ac4ad03007c0c66bdad8e85215789bd 






- minor changes: clean personal todo list + adjust test case description
2011-05-20T06:38:04+00:00

Hendrik Tews

2011-05-20T06:38:04+00:00

d020f9c42ad658b05d669e10aef03f43e1605a98












- add test coq/ex/test-cases/change-ancestor for the
2011-05-12T11:59:15+00:00

Hendrik Tews

2011-05-12T11:59:15+00:00

df9f007644f89c6acd7104ea641876a868e10e89

  change-ancestor bug





  change-ancestor bug