diff options
| author | herbelin | 2003-04-09 14:42:28 +0000 |
|---|---|---|
| committer | herbelin | 2003-04-09 14:42:28 +0000 |
| commit | 39cd2e369cc4871bf650e4f4f4a667c0e6b4d2d0 (patch) | |
| tree | c356e0b904c568ae95a6ef8e9c18c2b2d2a5914a /interp | |
| parent | 713a53132e1332afeb32ec8eadf68ac5a1624951 (diff) | |
Gestion synchronisation des Impargs.*_out et des Impargs._strict dans Impargs
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3888 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'interp')
0 files changed, 0 insertions, 0 deletions