diff options
| author |  courtieu <courtieu@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-10-27 09:39:29 +0000 |
|---|---|---|
| committer | courtieu <courtieu@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-10-27 09:39:29 +0000 |
| commit | c24ca569e61f77d1b4d16496e4671ea58f963a4c (patch) | |
| tree | f3201e18e63ee2deb870aaab3fe60e00ad184709 /.depend.coq | |
| parent | 632f915ccc5cb48db620da2d87d0a624a13a2c02 (diff) | |
Fixes on functional graphs merging: removed debug printing.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9296 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.depend.coq')
0 files changed, 0 insertions, 0 deletions