| Fri, 08 Jul 2011 17:04:38 +0200 | wenzelm | discontinued odd Position.column -- left-over from attempts at PGIP implementation; | changeset | files |
| Fri, 08 Jul 2011 16:13:34 +0200 | wenzelm | discontinued special treatment of hard tabulators; | changeset | files |
| Fri, 08 Jul 2011 16:01:14 +0200 | wenzelm | eliminated hard tabs; | changeset | files |