diff options
| author | herbelin | 2007-05-16 18:30:02 +0000 |
|---|---|---|
| committer | herbelin | 2007-05-16 18:30:02 +0000 |
| commit | 3101ff981d36359f74d5996447ba70f41398e72b (patch) | |
| tree | 20efdde892be0d74eee3e69470cfcca99763ac2b /kernel | |
| parent | 407f120d4b6a8d829cbf8efdfe5796444dda5a73 (diff) | |
- MAJ entêtes des fichiers produits par coq_makefile
- Correction de bugs dans la reconnaissance d'un "*)" potentiel dans
les lignes correspondant au mécanisme "section" de coqdoc
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9826 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions