| Fri, 09 Aug 2013 15:40:38 +0200 | blanchet | tuned name generation code (to make it easier to adapt later) | changeset | files |
| Fri, 09 Aug 2013 15:03:39 +0200 | blanchet | honor user type names if possible | changeset | files |
| Fri, 09 Aug 2013 13:57:21 +0200 | wenzelm | merged; | changeset | files |
| Fri, 09 Aug 2013 13:51:34 +0200 | wenzelm | more abstract consume_status operation; | changeset | files |