| Wed, 26 Oct 2016 14:50:28 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 26 Oct 2016 12:22:58 +0100 | paulson | Deleted spurious markup | changeset | files |
| Wed, 26 Oct 2016 11:35:41 +0200 | wenzelm | latest Mac OS X versions *are* still supported, but presently without formal reference systems; | changeset | files |
| Tue, 25 Oct 2016 20:48:03 +0200 | wenzelm | pagecolor no longer exists; | changeset | files |
| Tue, 25 Oct 2016 19:44:56 +0200 | wenzelm | merged | changeset | files |
| Tue, 25 Oct 2016 19:44:20 +0200 | wenzelm | use other remote_mac: macbroy30 is down; | changeset | files |
| Tue, 25 Oct 2016 17:22:05 +0200 | wenzelm | more robust printing of names in the context of outer syntax; | changeset | files |
| Tue, 25 Oct 2016 14:06:43 +0200 | wenzelm | more informative error (stderr); | changeset | files |