| 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 |
| Fri, 08 Jul 2011 15:18:28 +0200 | wenzelm | merged | changeset | files |
| Fri, 08 Jul 2011 12:18:46 +0200 | nipkow | merged | changeset | files |
| Thu, 07 Jul 2011 21:53:53 +0200 | nipkow | added translation to fix critical pair between abbreviations for surj and ~= | changeset | files |
| Thu, 07 Jul 2011 23:33:14 +0200 | bulwahn | floor and ceiling definitions are not code equations -- this enables trivial evaluation of floor and ceiling | changeset | files |