summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-21 17:34:20 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-21 17:34:20 -0400
commitbda701f557d0e9aadd4717dd4fd6a38ac8ceb1eb (patch)
treee4635d5a6f6b89dfa6beb1fcc253363184d2a01e /lib
parentd4e5d7bbce0aac719ac2c6451e0a6bfb675ab641 (diff)
Rec demo
Diffstat (limited to 'lib')
-rw-r--r--lib/basis.urs1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/basis.urs b/lib/basis.urs
index 212cccc6..53c4529d 100644
--- a/lib/basis.urs
+++ b/lib/basis.urs
@@ -333,6 +333,7 @@ val br : bodyTagStandalone []
val p : bodyTag []
val b : bodyTag []
val i : bodyTag []
+val tt : bodyTag []
val font : bodyTag [Size = int, Face = string]
val h1 : bodyTag []