Wed, 08 Apr 2015 21:49:45 +0200 | wenzelm | eliminated suspicious Unicode character; | changeset | files |
Wed, 08 Apr 2015 21:48:59 +0200 | wenzelm | eliminated hard tabs; | changeset | files |
Wed, 08 Apr 2015 21:42:08 +0200 | wenzelm | more standard access to goal state; | changeset | files |