Mercurial > urweb

diff lib/ur/basis.urs @ 1359:e525ad571e15

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Recursive record unification errors, for more detail
author Adam Chlipala <adam@chlipala.net>
date Thu, 23 Dec 2010 11:23:31 -0500
parents 32c8a3509369
children 02fc16faecf3
line wrap: on
line diff
--- a/lib/ur/basis.urs	Tue Dec 21 18:01:23 2010 -0500
+++ b/lib/ur/basis.urs	Thu Dec 23 11:23:31 2010 -0500
@@ -143,6 +143,7 @@
 val now : transaction time
 val minTime : time
 val minusSeconds : time -> int -> time
+val timef : string -> time -> string (* Uses strftime() format string *)
 
 
 (** HTTP operations *)