DefaultA parameter to dom

[hcoop/domtool2.git] / src / plugins / easy_domain.sml

diff --git a/src/plugins/easy_domain.sml b/src/plugins/easy_domain.sml
index 70a3601..fee0689 100644 (file)
--- a/src/plugins/easy_domain.sml
+++ b/src/plugins/easy_domain.sml
@@ -34,8 +34,20 @@ val _ = Defaults.registerDefault ("CreateWWW",
                                  (TBase "bool", dl),
                                  (fn () => (EVar "true", dl)))
 
+val _ = Defaults.registerDefault ("DefaultA",
+                                 (TBase "bool", dl),
+                                 (fn () => (EVar "true", dl)))
+
 val _ = Defaults.registerDefault ("DefaultAlias",
                                  (TBase "bool", dl),
                                  (fn () => (EVar "true", dl)))
 
+val _ = Defaults.registerDefault ("HandleMail",
+                                 (TBase "bool", dl),
+                                 (fn () => (EVar "true", dl)))
+
+val _ = Defaults.registerDefault ("AddMX",
+                                 (TBase "bool", dl),
+                                 (fn () => (EVar "true", dl)))
+
 end