diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-09 07:13:38 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-09 07:13:38 +0000 |
| commit | 95b48f191d9bd7b984cc73498cbdfaa35c32b2b7 (patch) | |
| tree | a6e93304250a3e5049c87845ba0b4911d9401572 /hol98 | |
| parent | e7765a280ad776d92ede5dc61a6e5724d8eeec78 (diff) | |
Fixed up outline markup.
Diffstat (limited to 'hol98')
0 files changed, 0 insertions, 0 deletions