Mercurial > urweb
diff lib/basis.lig @ 106:d101cb1efe55
More with attributes and efficient serialization
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 10 Jul 2008 15:49:14 -0400 |
parents | da760c34f5ed |
children | 3739af9e727a |
line wrap: on
line diff
--- a/lib/basis.lig Thu Jul 10 15:19:06 2008 -0400 +++ b/lib/basis.lig Thu Jul 10 15:49:14 2008 -0400 @@ -28,7 +28,3 @@ val b : tag [] [Body] [Body] val i : tag [] [Body] [Body] val font : tag [Size = int, Face = string] [Body] [Body] - - -val attrifyInt : int -> string -val attrifyFloat : float -> string