Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more operations;
authorwenzelm
Sun, 16 Jul 2023 11:43:32 +0200
changeset 78357 0cecb7236298
parent 78356 974dbe256a37
child 78358 f5cf8e500dee
more operations;
src/Pure/General/time.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/time.scala	Sun Jul 16 11:29:23 2023 +0200
+++ b/src/Pure/General/time.scala	Sun Jul 16 11:43:32 2023 +0200
@@ -20,6 +20,8 @@
   def now(): Time = ms(System.currentTimeMillis())
 
   val zero: Time = ms(0)
+  val min: Time = ms(Long.MinValue)
+  val max: Time = ms(Long.MaxValue)
 
   def print_seconds(s: Double): String =
     String.format(Locale.ROOT, "%.3f", s.asInstanceOf[AnyRef])
isabelle