Mercurial > urweb

diff lib/basis.lig @ 106:d101cb1efe55

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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