diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-01-24 22:40:32 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-01-24 22:40:32 +0000 |
| commit | 717d24bdb9beeeceb5f39954fb5d81d4a7d81a67 (patch) | |
| tree | 9a5c7d8fabc4a79ac293592115c70c2a8c5134d2 | |
| parent | 3266bca7ceffd3c7f51913ceba1f1c8d675f9d49 (diff) | |
MAJ
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1275 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | PROBLEMES | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6,7 +6,7 @@ sous emacs et qu'un lien (lock ?) .#fichier a ete cree *) Anomaly: Uncaught exception Unix.Unix_error(20, "stat", "/home/cpaulin/coq/V7/theories/Num/.#Axioms.v"). Please report. make: *** [Axioms.vo] Error 1 - +--> CORRIGÉ (message explicatif et n'échoue plus) Declaration de Local a l'interieur d'un but ... Certains Clear deviennent impossible car la variable apparait dans |