Mercurial > urweb
changeset 1876:fdafa3f92e40
Add <dl> <dt> <dd> tags
author | Sergey Mironov <grrwlf@gmail.com> |
---|---|
date | Mon, 07 Oct 2013 14:08:53 +0400 (2013-10-07) |
parents | c44bfaa69dd8 |
children | 22b44fe822bf |
files | lib/ur/basis.urs |
diffstat | 1 files changed, 13 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/lib/ur/basis.urs Thu Oct 10 14:01:19 2013 -0400 +++ b/lib/ur/basis.urs Mon Oct 07 14:08:53 2013 +0400 @@ -976,6 +976,19 @@ -> tag ([Colspan = int, Rowspan = int] ++ tableAttrs) ([Tr] ++ other) ([Body] ++ other) [] [] +(** Definition lists *) + +val dl : other ::: {Unit} -> [other ~ [Body,Dl]] + => unit + -> tag [] ([Body] ++ other) ([Dl] ++ other) [] [] + +val dt : other ::: {Unit} -> [other ~ [Body,Dl]] + => unit + -> tag [] ([Dl] ++ other) ([Body] ++ other) [] [] + +val dd : other ::: {Unit} -> [other ~ [Body,Dl]] + => unit + -> tag [] ([Dl] ++ other) ([Body] ++ other) [] [] (** Aborting *)