| Thu, 28 Jul 2005 17:55:39 +0200 | paulson | dead code | changeset | files |
| Thu, 28 Jul 2005 17:54:39 +0200 | paulson | new function trim_ends | changeset | files |
| Thu, 28 Jul 2005 17:54:22 +0200 | paulson | uniform treatment of variable prefixes | changeset | files |
| Thu, 28 Jul 2005 16:59:30 +0200 | haftmann | corrected some typos | changeset | files |