X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/6be996d467429cc09f81becd3fd4e294ae1871ae..8df2e702cf3e5ed9b8433585b357bbcd9f0d623e:/src/domtool.cm diff --git a/src/domtool.cm b/src/domtool.cm index 4771582..29b39c0 100644 --- a/src/domtool.cm +++ b/src/domtool.cm @@ -12,6 +12,11 @@ dataStructures.sml ast.sml +../configDefault/config.sig +../configDefault/configDefault.sml + +../config.sml + domtool.lex domtool.grm @@ -30,8 +35,26 @@ tycheck.sml reduce.sig reduce.sml +eval.sig +eval.sml + baseTypes.sig baseTypes.sml +slave.sig +slave.sml + +domain.sig +domain.sml + +plugins/alias.sig +plugins/alias.sml + +plugins/exim.sig +plugins/exim.sml + +order.sig +order.sml + main.sig main.sml