Evaluating a test with automatic inclusion of basis
authoradamch <adamch>
Sun, 30 Jul 2006 19:30:35 +0000 (19:30 +0000)
committeradamch <adamch>
Sun, 30 Jul 2006 19:30:35 +0000 (19:30 +0000)
commit17ef447ee7a2cccc6504752ac93def83eb5beb46
tree75f3d52a69a146ec30a7f9237b9e3437f6a8db12
parent51c32b45e1121bcc4b04a53b82b91ea6320cdd05
Evaluating a test with automatic inclusion of basis
configDefault/domtool.cfg
configDefault/domtool.cfs
lib/alias.dtl
src/main.sig
src/main.sml
tests/domain2.dtl
tests/testAlias.dtl [new file with mode: 0644]