diff options
| author | David Aspinall | 1998-10-27 12:50:41 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-27 12:50:41 +0000 |
| commit | 89e4346529b97cbf8ab50ae6da6ac52958586099 (patch) | |
| tree | e8653a52dab9edb73487c1bc9ee65b300f695409 /coq/example.v | |
| parent | 6fa68bc76e88ef77a13073e25cf5fc9541d80363 (diff) | |
Fixed assert-until-point for ignore-process case
Diffstat (limited to 'coq/example.v')
0 files changed, 0 insertions, 0 deletions