| 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 |
| Mon, 16 Mar 2009 18:24:30 +0100 | wenzelm | simplified method setup; | changeset | files |
| Mon, 16 Mar 2009 17:51:24 +0100 | wenzelm | updated generated file; | changeset | files |
| Mon, 16 Mar 2009 17:51:07 +0100 | wenzelm | simplifief 'method_setup' command; | changeset | files |
| Mon, 16 Mar 2009 17:48:02 +0100 | wenzelm | spelling; | changeset | files |