diff options
| author | David Aspinall | 2001-08-31 11:43:44 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-31 11:43:44 +0000 |
| commit | 2fdfaf38ccd283def8febc4ad70844107f659225 (patch) | |
| tree | 008492a2d38dca6134a8c71dea8fdda983892b34 /ChangeLog | |
| parent | 5487fa826b97880785a830cde9219e1d04c7160b (diff) | |
Add faces for theorem dependencies.
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions