| Fri, 01 Apr 2016 22:33:31 +0200 | wenzelm | merged | changeset | files |
| Fri, 01 Apr 2016 22:24:18 +0200 | wenzelm | explicit warning about bidi uncertainty in Unicode; | changeset | files |
| Fri, 01 Apr 2016 22:20:03 +0200 | wenzelm | explicit warning about formal use of Unicode; | changeset | files |
| Fri, 01 Apr 2016 21:34:51 +0200 | wenzelm | documentation; | changeset | files |
| Fri, 01 Apr 2016 21:34:17 +0200 | wenzelm | more markup; | changeset | files |
| Fri, 01 Apr 2016 19:01:34 +0200 | wenzelm | require actual space; | changeset | files |
| Fri, 01 Apr 2016 18:56:31 +0200 | wenzelm | tuned signature; | changeset | files |
| 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 |