merge toplevel-dynamic-environment

[hcoop/domtool2.git] / src / sources

diff --git a/src/sources b/src/sources
index 4578e59..17a9fd4 100644 (file)
--- a/src/sources
+++ b/src/sources
@@ -5,6 +5,10 @@ dataStructures.sml
 
 ast.sml
 
+configTypes.sml
+
+../config/core/core.sig
+../config/core/core.sml
 ../configDefault/config.sig
 ../configDefault/configDefault.sml
 
@@ -16,12 +20,18 @@ domtool.lex
 parse.sig
 parse.sml
 
+printFn.sig
+printFn.sml
+
 print.sig
 print.sml
 
 env.sig
 env.sml
 
+describe.sig
+describe.sml
+
 tycheck.sig
 tycheck.sml
 
@@ -40,8 +50,8 @@ acl.sml
 slave.sig
 slave.sml
 
-defaults.sig
-defaults.sml
+pcre.sig
+pcre.sml
 
 openssl.sig
 openssl.sml
@@ -59,15 +69,15 @@ msg.sml
 domain.sig
 domain.sml
 
+plugins/bind.sig
+plugins/bind.sml
+
 plugins/alias.sig
 plugins/alias.sml
 
 plugins/exim.sig
 plugins/exim.sml
 
-plugins/bind.sig
-plugins/bind.sml
-
 plugins/apache.sig
 plugins/apache.sml
 
@@ -86,6 +96,33 @@ plugins/postgres.sml
 plugins/mysql.sig
 plugins/mysql.sml
 
+plugins/apt.sig
+plugins/apt.sml
+
+plugins/cron.sig
+plugins/cron.sml
+
+plugins/ftp.sig
+plugins/ftp.sml
+
+plugins/trustedPath.sig
+plugins/trustedPath.sml
+
+plugins/socketPerm.sig
+plugins/socketPerm.sml
+
+plugins/firewall.sig
+plugins/firewall.sml
+
+mail/vmail.sig
+mail/vmail.sml
+
+mail/setsa.sig
+mail/setsa.sml
+
+mail/smtplog.sig
+mail/smtplog.sml
+
 order.sig
 order.sml
 
@@ -95,5 +132,8 @@ htmlPrint.sml
 autodoc.sig
 autodoc.sml
 
+unused.sig
+unused.sml
+
 main.sig
 main.sml