diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-16 16:01:36 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-16 16:01:36 +0000 |
| commit | 3dff233bbf3e377e3d2dbf889f16560d0517de57 (patch) | |
| tree | 57062c98bac845f6fd605ed8fc362d3ba50839ff /BUGS | |
| parent | b60783fa894f0956cb581c8f2aee1423faf12096 (diff) | |
Note about how to use demoisa and isar instances. Other comments
Diffstat (limited to 'BUGS')
0 files changed, 0 insertions, 0 deletions