| Fri, 15 Apr 2016 16:06:47 +0200 | wenzelm | support for Poly/ML entity ids; | changeset | files |
| Fri, 15 Apr 2016 15:08:43 +0200 | wenzelm | clarified PIDE reports; | changeset | files |
| Fri, 15 Apr 2016 14:27:59 +0200 | wenzelm | clarified rendering wrt. hyperlinks; | changeset | files |