diff options
| author | coq | 2006-03-02 12:02:14 +0000 |
|---|---|---|
| committer | coq | 2006-03-02 12:02:14 +0000 |
| commit | 8b5128c023b7217058d2f3854fc1d4ab22dd8b4b (patch) | |
| tree | 34dd224c14814234d9fecfb16dce84b740f4ef44 /doc/Tutorial.tex | |
| parent | 2292dd89b9b36ec8c865ab67e5291088bfcc4806 (diff) | |
Correction du bug 808: il est maintenant interdit de déclarer une assomption en cours de preuve.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8109 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/Tutorial.tex')
0 files changed, 0 insertions, 0 deletions