diff options
| author | herbelin | 2002-08-02 18:20:48 +0000 |
|---|---|---|
| committer | herbelin | 2002-08-02 18:20:48 +0000 |
| commit | 7a4d5bd86542665125af0b4b02767e5a8eeeb5c8 (patch) | |
| tree | 13f9b54010cfe97577f4d7059a656af5b1eaa3ed /test-suite/modules/fun_objects.v | |
| parent | 12965209478bd99dfbe57f07d5b525e51b903f22 (diff) | |
En attendant la 3.06, remplacement de +camlp4 par CAMLLIB/camlp4
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2958 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'test-suite/modules/fun_objects.v')
0 files changed, 0 insertions, 0 deletions