diff options
| author | David Aspinall | 2000-04-07 14:25:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-04-07 14:25:50 +0000 |
| commit | 4a1571975d281f536d6e7deaef4ae4016140e5b4 (patch) | |
| tree | 3df509f954b1f5ee3160bbc53a07ad83ef85145e /html | |
| parent | 1d3842f87c31e536efe0c977c70fab478195126d (diff) | |
More generic message to avoid confusion with Coq searching.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions