diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-02-04 12:39:22 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-02-04 12:39:22 +0000 |
| commit | 2a23ee3322e4274c110278a447a95133ea428b79 (patch) | |
| tree | 0967a2bdb7f24d574335fc325153694e5f830833 /lego/BUGS | |
| parent | aec2e6a86b72b39e88217348d2146231d8150b0d (diff) | |
Go back to isabellesym.sty as master symbol list
Diffstat (limited to 'lego/BUGS')
0 files changed, 0 insertions, 0 deletions