Update of /cvsroot/hcoop/domtool2/src/plugins
In directory sc8-pr-cvs17.sourceforge.net:/tmp/cvs-serv11035/src/plugins
Modified Files:
easy_domain.sml
Log Message:
Add new Easy_domain env defaults
Index: easy_domain.sml
===================================================================
RCS file: /cvsroot/hcoop/domtool2/src/plugins/easy_domain.sml,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** easy_domain.sml 15 Dec 2007 20:17:28 -0000 1.3
--- easy_domain.sml 24 Feb 2008 21:32:44 -0000 1.4
***************
*** 35,39 ****
(fn () => (EVar "true", dl)))
! val _ = Defaults.registerDefault ("DefaultAlias",
(TBase "bool", dl),
(fn () => (EVar "true", dl)))
--- 35,43 ----
(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)))
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
hcoop-cvs mailing list
hcoop-cvs@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hcoop-cvs
