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 *)