| Mon, 16 Mar 2009 23:36:55 +0100 | wenzelm | provide Simplifier.norm_hhf(_protect) as regular simplifier operation; | changeset | files |
| Mon, 16 Mar 2009 19:40:03 +0100 | wenzelm | method parser: pass proper context; | changeset | files |
| Mon, 16 Mar 2009 18:24:39 +0100 | wenzelm | merged | changeset | files |