diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-06-21 21:25:39 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-06-21 21:25:39 +0000 |
commit | e35d700b86be51863bbfc6f3f52105e8f9418313 (patch) | |
tree | f789e65c34d9d510c10efbdff1e67974cb428096 /doc | |
parent | 61efa43b378f14e5bf936807cdb217ee865a4ea4 (diff) |
Isar is default over isa.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions