diff options
| author | notin | 2008-10-31 16:13:58 +0000 |
|---|---|---|
| committer | notin | 2008-10-31 16:13:58 +0000 |
| commit | e06b69a83b8e109d029a73116039da2c4adb179d (patch) | |
| tree | 44bf44cd68d6b066bf55f56a843d34ad0446e827 /interp/implicit_quantifiers.ml | |
| parent | e697a1ee04e201b90bab3783b40f52841ef12fc0 (diff) | |
Ajout d'une option -raw pour Coqdoc (sortie en texte brut)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11529 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions