Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/General/time.scala
changeset 61602 a2f0f659a3c2
parent 61528 053f7083b3eb
child 62571 2fd90993a928
equal deleted inserted replaced
61601:15952a05133c 61602:a2f0f659a3c2 
    29   def seconds: Double = ms / 1000.0
 
    29   def seconds: Double = ms / 1000.0
 
    30 
    30 
    31   def + (t: Time): Time = new Time(ms + t.ms)
 
    31   def + (t: Time): Time = new Time(ms + t.ms)
 
    32   def - (t: Time): Time = new Time(ms - t.ms)
 
    32   def - (t: Time): Time = new Time(ms - t.ms)
 
    33 
    33 
       
    34   def compare(t: Time): Int = ms compare t.ms
 
    34   def < (t: Time): Boolean = ms < t.ms
 
    35   def < (t: Time): Boolean = ms < t.ms
 
    35   def <= (t: Time): Boolean = ms <= t.ms
 
    36   def <= (t: Time): Boolean = ms <= t.ms
 
    36   def > (t: Time): Boolean = ms > t.ms
 
    37   def > (t: Time): Boolean = ms > t.ms
 
    37   def >= (t: Time): Boolean = ms >= t.ms
 
    38   def >= (t: Time): Boolean = ms >= t.ms
 
    38 
    39
isabelle