diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-07-06 15:55:39 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-07-06 15:55:39 +0000 |
| commit | 4d75ddfdc0382e0d6e163febe12912fe477aa43b (patch) | |
| tree | ed55e513dd72f6c57c246a147a66f7dc21bdd7f7 /doc/refman/RefMan-tac.tex | |
| parent | f7e0b60554789d3859562ae533961bb04fc4ec84 (diff) | |
sequel to commit 9952: forgot to adapt xlate to the new n-ary rename
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9953 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/refman/RefMan-tac.tex')
0 files changed, 0 insertions, 0 deletions