Make 'domtool -tc' (no other arguments) work properly
authoradamch <adamch>
Sat, 17 Nov 2007 13:51:22 +0000 (13:51 +0000)
committeradamch <adamch>
Sat, 17 Nov 2007 13:51:22 +0000 (13:51 +0000)
commit8397f729e10e0c8e06b3cf8ade0ebaf6262e7378
treef8796d0e6e9c908472640974d155e2e60e74828a
parent593d6ab24fe3100435f97a45353c5563b1316416
Make 'domtool -tc' (no other arguments) work properly
src/main-client.sml
src/main.sml