diff options
| author | corbinea | 2003-03-21 14:28:26 +0000 |
|---|---|---|
| committer | corbinea | 2003-03-21 14:28:26 +0000 |
| commit | b3e715c1dd3692cc79e8a83e99fdd35c0ffec392 (patch) | |
| tree | 8722045866b1afb211524ae48f038596fc56e23b /interp | |
| parent | 760b14883ba8c4aa5d17cad1f8834683b647d07f (diff) | |
Fin de la résurrection de Linear.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3781 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'interp')
0 files changed, 0 insertions, 0 deletions