summaryrefslogtreecommitdiff
path: root/src/settings.sml
Commit message (Collapse)AuthorAge
* Chars and more string operationsGravatar Adam Chlipala2009-05-26
|
* Change monoization of monads to allow partial applications of operationsGravatar Adam Chlipala2009-05-23
|
* Improvements while working on GraftidGravatar Adam Chlipala2009-05-14
|
* cookieSec demoGravatar Adam Chlipala2009-05-03
|
* Runtime URL and MIME type filteringGravatar Adam Chlipala2009-05-02
|
* allow/deny working in Mono_optGravatar Adam Chlipala2009-05-02
|
* Path rewritingGravatar Adam Chlipala2009-05-02
|
* More FFI compiler optionsGravatar Adam Chlipala2009-05-02
|
* Successfully influenced effectful-ness status of FFI funcGravatar Adam Chlipala2009-05-02
|
* C FFI compiler optionsGravatar Adam Chlipala2009-04-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 23:32:50 +0000