Fri, 01 Apr 2016 18:46:25 +0200 | wenzelm | required space is already part of Position.here; | changeset | files |
Fri, 01 Apr 2016 18:43:54 +0200 | wenzelm | tuned messages; | changeset | files |
Fri, 01 Apr 2016 18:32:52 +0200 | wenzelm | clarified errors -- disallow cartouche fragments as delimiter; | changeset | files |
Fri, 01 Apr 2016 17:56:14 +0200 | wenzelm | tuned signature; | changeset | files |
Fri, 01 Apr 2016 17:49:03 +0200 | wenzelm | tuned; | changeset | files |
Fri, 01 Apr 2016 17:41:41 +0200 | wenzelm | clarified end position; | changeset | files |
Fri, 01 Apr 2016 17:37:46 +0200 | wenzelm | tuned signature; | changeset | files |