diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-10-23 09:59:37 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-10-23 09:59:37 +0000 |
| commit | 20a488570243507f68fb0fe226effffb3267124f (patch) | |
| tree | 2bfd4fac6a39249ac1e0ebb0c4e03b22ee389858 /ide/coqide_main.ml4 | |
| parent | 575bccf45330fb6147d67c5198cee06af4e79efe (diff) | |
RefMan-tac: fix a few glitches concerning the documentation of eqn:
These were introduced during Guillaume's backport to trunk of its
improved tactic documentation
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15920 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/coqide_main.ml4')
0 files changed, 0 insertions, 0 deletions