| Sun, 31 Dec 2017 21:42:20 +0000 | paulson | Restored correct spacing for set comprehensions | changeset | files |
| Sat, 30 Dec 2017 22:37:07 +0100 | wenzelm | less redundant; | changeset | files |
| Sat, 30 Dec 2017 21:46:19 +0100 | wenzelm | more robust hyphen (see also "Soft hyphen (SHY) – a hard problem?" http://jkorpela.fi/shy.html); | changeset | files |
| Sat, 30 Dec 2017 20:04:05 +0100 | wenzelm | more robust treatment of conflicts with existing Unicode text; | changeset | files |
| Sat, 30 Dec 2017 14:15:44 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 29 Dec 2017 21:17:43 +0100 | wenzelm | no check for bibtex entries from other sessions; | changeset | files |
| Fri, 29 Dec 2017 19:53:43 +0100 | wenzelm | clarified signature; | changeset | files |