diff options
| author | filliatr | 2000-04-28 16:00:15 +0000 |
|---|---|---|
| committer | filliatr | 2000-04-28 16:00:15 +0000 |
| commit | bd182166d8a97de81b6abdb3aa434cc32d95a9dc (patch) | |
| tree | baf2d5ef0691eaffeba3228f89877c8eef103411 /dev | |
| parent | 897cb12c7d539e63d52a701bad92376acdf6a473 (diff) | |
portage en ocaml / camlp4 3.00
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@379 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions