diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-10-07 20:52:57 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-10-07 20:52:57 +0000 |
commit | 2425dd9e258fe67e01bc63b0c2e82db0ecc3cdd6 (patch) | |
tree | c4e478582aaefb3ebec25aa9c80008ca30ad3ccf /doc | |
parent | 9be9fa2e571532d32611e510f06b9197b004d459 (diff) |
Debranchement de l'affichage automatique de Proof par le traducteur (trop complique de trouver la bonne indentation); affichage en revanche de Proof s'il existait deja
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4536 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions