| 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 |