| Fri, 15 Sep 2000 15:30:50 +0200 | paulson | the final renaming: selectI -> someI | changeset | files |
| Fri, 15 Sep 2000 12:39:57 +0200 | paulson | renamed (most of...) the select rules | changeset | files |
| Fri, 15 Sep 2000 11:34:46 +0200 | wenzelm | fixed comment; | changeset | files |
| Fri, 15 Sep 2000 11:27:45 +0200 | wenzelm | fixed name; | changeset | files |