| Wed, 28 Oct 2009 17:45:53 +0100 | wenzelm | merged | changeset | files |
| Wed, 28 Oct 2009 17:38:13 +0100 | wenzelm | misc tuning; | changeset | files |
| Wed, 28 Oct 2009 17:36:34 +0100 | wenzelm | let naming transform binding beforehand -- covering only the "conceal" flag for now; | changeset | files |
| Wed, 28 Oct 2009 16:28:12 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 28 Oct 2009 16:27:48 +0100 | wenzelm | simplified default binding; | changeset | files |
| Wed, 28 Oct 2009 16:25:27 +0100 | wenzelm | conceal internal bindings; | changeset | files |
| Wed, 28 Oct 2009 16:25:26 +0100 | wenzelm | Drule.store: proper binding; | changeset | files |