Mercurial > urweb

comparison lib/ur/basis.urs @ 2029:dfa35ca83d92

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'sql_injectable_prim' instance for 'url'
author Adam Chlipala <adam@chlipala.net>
date Sun, 15 Jun 2014 10:48:53 -0400
parents 2da693675de9
children 6be31671911b
comparison
equal deleted inserted replaced
2028:485570cb3b6e 2029:dfa35ca83d92
701 701
702 type css_value 702 type css_value
703 val atom : string -> css_value 703 val atom : string -> css_value
704 type url 704 type url
705 val css_url : url -> css_value 705 val css_url : url -> css_value
706 val sql_url : sql_injectable_prim url
706 type css_property 707 type css_property
707 val property : string -> css_property 708 val property : string -> css_property
708 val value : css_property -> css_value -> css_property 709 val value : css_property -> css_value -> css_property
709 type css_style 710 type css_style
710 val noStyle : css_style 711 val noStyle : css_style