Edit on GitHub

Assorted design documents

PR1195: Time management update

This page contains summary of changes in PR 1195. It’s basically the same idea as before, just (hopefully) more carefully done. Idea The basic idea is that: By the end of the game, all time should be used.