diff options
author | emakarov <emakarov@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-04-02 12:44:19 +0000 |
---|---|---|
committer | emakarov <emakarov@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-04-02 12:44:19 +0000 |
commit | 55751d1d13b51d18185bb8ee9148ea4555284f02 (patch) | |
tree | a10e96ce97632d4d27d438cd560d11df3945ab5e /Makefile.dep | |
parent | e3316b270e29b2278c16ece755a1d869f2263c04 (diff) |
Added back the tactics [apply -> ident], etc. to Tactics.v after
committing the extension of the general sequence operator.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9743 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile.dep')
0 files changed, 0 insertions, 0 deletions