diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-23 16:47:26 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-23 16:47:26 +0000 |
| commit | 6b9442beff024dcc7839df74f6316f4266c85ba3 (patch) | |
| tree | 333ee717d10736fd4a830a216fc55c930994636c /hol98 | |
| parent | a76b63449ea1d30816fa1873042b1cfba1cb6432 (diff) | |
Standard poor X-Symbol support for twelf.
Diffstat (limited to 'hol98')
0 files changed, 0 insertions, 0 deletions