diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-07-30 18:46:37 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-07-30 18:46:37 +0000 |
| commit | 707e6ebc87d88e0e6a5cb5060837dbc0fce3b6a1 (patch) | |
| tree | 6c31725394af72fad4cdaff0a41c401bfdc2ad5f /checker/reduction.mli | |
| parent | 106e80904fae2abc78eee748cdc276806d2e0c1f (diff) | |
Removed information in COMPATIBILITY that were intended before all for
developers.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13364 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'checker/reduction.mli')
0 files changed, 0 insertions, 0 deletions