From 55e2daf95e87a74aa62c9ffb4dd5bac2f00ff98c Mon Sep 17 00:00:00 2001
From: Sergey Mironov <grrwlf@gmail.com>
Date: Mon, 7 Oct 2013 14:08:53 +0400
Subject: Add <dl> <dt> <dd> tags

---
 lib/ur/basis.urs | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'lib/ur/basis.urs')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 3dba3e3d..4931c97a 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -976,6 +976,19 @@ val td : other ::: {Unit} -> [other ~ [Body, Tr]] => unit
   -> 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 *)
 
-- 
cgit v1.2.3