src/game/world.cc | 2164 ++++++++++++++++++++++-------------------------------
src/game/world.hh | 507 ++++--------
src/info.hh | 20 +-
src/lisp.cc | 2 +-
src/ob/belle/io.hh | 19 +-
src/ob/color.hh | 12 +-
src/ob/readline.cc | 114 ++-
src/ob/readline.hh | 135 +--
src/ob/term.hh | 4 +-
src/ob/timer.hh | 329 ++++++++-
10 files changed, 1672 insertions(+), 1634 deletions(-)