2013-11-02-18.22.46: src/lib/prettyprint/big/src/core-prettyprint-mill-g.pkg: Introduced type Loc and fn update_loc and restructured de_box() around them:  Resulting code is much cleaner and in principle at least should properly implement indent()/exdent() now. (Untested.)