diff options
| author |  aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-05-27 14:53:07 +0000 |
|---|---|---|
| committer | aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-05-27 14:53:07 +0000 |
| commit | 5950bb88dc30266012bff173fd4a82f3fb532dc1 (patch) | |
| tree | 0af4931df3568f39825ec16cea43a7c34416577b /toplevel/classes.ml | |
| parent | f3370a13d7b4fd0cdc2f299000138fa3bc069aac (diff) | |
=?utf-8?q?D=C3=A9sinterdiction=20de=20GDELETE=5FRULE=20dans=20pcoq.ml4.=20Malheureusement,=20je=20ne
=20sais=20pas=20permettre=20que=20GDELETE=5FRULE=20soit=20appelable=20pendant=20une=20section
=20sans=20causer=20de=20potentiels=20soucis=20(bien=20que=20je=20trouve=20qu'il=20faille=20un
=20esprit=20sacr=C3=A9ment=20pervers=20pour=20faire=20Declare=20ML=20Module=20dans=20une=20section).?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Je suppose qu'on est dans le même esprit d'information trop partielle
que pour les notations aux niveaux 8, 99 et 200.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12146 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'toplevel/classes.ml')
0 files changed, 0 insertions, 0 deletions