Mercurial > urweb

diff lib/ur/basis.urs @ 1138:b7118ffd32ae

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update Makefile.in's with new Autotools; add extra 'return NULL' to placate some -Wall
author Adam Chlipala <adamc@hcoop.net>
date Sat, 30 Jan 2010 11:21:26 -0500
parents 32710de7227b
children 5eca51fcd559
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sat Jan 30 08:45:31 2010 -0500
+++ b/lib/ur/basis.urs	Sat Jan 30 11:21:26 2010 -0500
@@ -135,6 +135,7 @@
 
 val now : transaction time
 val minTime : time
+val minusSeconds : time -> int -> time
 
 
 (** HTTP operations *)