E-mail aliases
authoradamch <adamch>
Sun, 30 Jul 2006 17:33:07 +0000 (17:33 +0000)
committeradamch <adamch>
Sun, 30 Jul 2006 17:33:07 +0000 (17:33 +0000)
commit2f68506c5aed23c5d4838942db14e7740a7b4718
treea9e1199dec89d895272d84e7835384586ab5cae3
parent8ae0290b4aa5b7961b6a909ffcee75221c60830c
E-mail aliases
14 files changed:
src/alias.sig [new file with mode: 0644]
src/alias.sml [new file with mode: 0644]
src/domain.sig
src/domain.sml
src/domtool.cm
src/domtool.grm
src/env.sig
src/env.sml
src/main.sml
src/print.sig
src/print.sml
src/tycheck.sig
src/tycheck.sml
tests/domain2.dtl