Mercurial > urweb

diff lib/ur/basis.urs @ 1514:3c0803c1acd7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds and Basis.toSeconds
author Adam Chlipala <adam@chlipala.net>
date Fri, 22 Jul 2011 15:39:38 -0400
parents 4300592e6803
children 27b8c0a460cf
line wrap: on
line diff
--- a/lib/ur/basis.urs	Wed Jul 20 08:14:49 2011 -0400
+++ b/lib/ur/basis.urs	Fri Jul 22 15:39:38 2011 -0400
@@ -145,6 +145,9 @@
 val now : transaction time
 val minTime : time
 val addSeconds : time -> int -> time
+val toSeconds : time -> int
+val diffInSeconds : time -> time -> int
+(* Earlier time first *)
 val timef : string -> time -> string (* Uses strftime() format string *)
 val readUtc : string -> option time