up+to+that+time

  • 131time off — {n. phr.} A period of release from work. * /If I had some time off this afternoon, I would finish writing the letters I promised to my family./ …

    Dictionary of American idioms

  • 132time out — {n. phr.} Time during which a game, a lecture, a discussion or other activity is stopped for a while for some extra questions or informal discussion, or some other reason. * /He took a time out from studying to go to a movie./ * /The player… …

    Dictionary of American idioms