diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-12-26 13:55:07 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-12-26 13:55:07 +0000 |
| commit | e4b85d5e575c684df24ad7259207a185c5d5e179 (patch) | |
| tree | 90e95b9db4aaf4b27f6b698628c0d99c3422f95e /tactics/auto.ml | |
| parent | 9cdf9c3c0341a395249946d9e8f0bed7dd3c6d53 (diff) | |
- Suppression date dans configure du trunk
- Utilisation de get_version_date pour l'option -v (plutôt que la date
non à jour du configure)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11714 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tactics/auto.ml')
0 files changed, 0 insertions, 0 deletions