diff options
| author | David Aspinall | 1999-11-13 13:54:27 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-13 13:54:27 +0000 |
| commit | ab50ba1cdc246d0239bf597674d5e09026060a4a (patch) | |
| tree | ab481be5c87b2b13b73f3f33f893b113f10d92ec /generic | |
| parent | ed8873cdabc7d0348dbb1db8b71a06c75df3998b (diff) | |
Experiment with X-Symbol support for Coq.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions