Searched refs:times (Results 1 – 5 of 5) sorted by relevance
203 int times = argv[1].i; in cmd_repeat() local205 if (times <= 0) goto usage; in cmd_repeat()226 for (int i = 0; i < times; ++i) { in cmd_repeat()227 printf("[%d/%d]\n", i + 1, times); in cmd_repeat()
42 * Do not run this example too many times or set it up to repeatedly erase and
44 * Do not run this example too many times or set it up to repeatedly erase and
511 @ bits (at most 6 bits) times x, and so fits in one word
413 # an expensive process and often the same symbol appears multiple times in the1703 # \usepackage command. To get the times font for instance you can specify :1704 # EXTRA_PACKAGES=times or EXTRA_PACKAGES={times}
Completed in 7 milliseconds