Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
| 844:74a1e3bdf430 | 845:6725d73c3c31 |
|---|---|
| 81 "nextval", | 81 "nextval", |
| 82 "set_cookie", | 82 "set_cookie", |
| 83 "new_client_source", | 83 "new_client_source", |
| 84 "get_client_source", | 84 "get_client_source", |
| 85 "set_client_source", | 85 "set_client_source", |
| 86 "current", | |
| 86 "alert", | 87 "alert", |
| 87 "new_channel", | 88 "new_channel", |
| 88 "send", | 89 "send", |
| 89 "onError", | 90 "onError", |
| 90 "onFail", | 91 "onFail", |