diff options
| author | Pierre Courtieu | 2002-06-19 18:13:50 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2002-06-19 18:13:50 +0000 |
| commit | 3777575a5437433c3261596fe9373040003b2da5 (patch) | |
| tree | 6ab4cac1888a8987e246a741582c2656be94c0be /html/oldrel.php | |
| parent | 73fdbe811271f196a94c6c0181776c23f9215e53 (diff) | |
Updated the doc and the CHANGES file about new backtracking for Coq.
Diffstat (limited to 'html/oldrel.php')
0 files changed, 0 insertions, 0 deletions