Fri, 08 Jul 2011 20:27:09 +0200 | wenzelm | less stateful outer_syntax; | changeset | files |
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 |