| Tue, 08 Apr 2008 09:42:18 +0200 | kleing | removed abbrev for word_power. Was in the wrong direction and unused. | changeset | files |
| Mon, 07 Apr 2008 21:29:46 +0200 | wenzelm | prefer plain ASCII here; | changeset | files |
| Mon, 07 Apr 2008 21:25:22 +0200 | wenzelm | abs_conv: extra argument for bound variable; | changeset | files |