diff src/settings.sml @ 845:6725d73c3c31

Mark current as effectful; add List functions
author Adam Chlipala <adamc@hcoop.net>
date Tue, 09 Jun 2009 11:12:34 -0400
parents 44c2c089ca15
children 28e42b22424d
line wrap: on
line diff
--- a/src/settings.sml	Sun Jun 07 16:45:00 2009 -0400
+++ b/src/settings.sml	Tue Jun 09 11:12:34 2009 -0400
@@ -83,6 +83,7 @@
                            "new_client_source",
                            "get_client_source",
                            "set_client_source",
+                           "current",
                            "alert",
                            "new_channel",
                            "send",