Factor error message generation into a separate file; add '-tc' flag to domtool-client
[hcoop/domtool2.git] / src / sources
index 3e132d6..7809a93 100644 (file)
@@ -5,6 +5,8 @@ dataStructures.sml
 
 ast.sml
 
+configTypes.sml
+
 ../configDefault/config.sig
 ../configDefault/configDefault.sml
 
@@ -22,6 +24,9 @@ print.sml
 env.sig
 env.sml
 
+describe.sig
+describe.sml
+
 tycheck.sig
 tycheck.sml
 
@@ -89,6 +94,21 @@ 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