| Fri, 31 Oct 2014 23:51:54 +0100 | wenzelm | merged | changeset | files |
| Fri, 31 Oct 2014 22:48:00 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 31 Oct 2014 22:37:22 +0100 | wenzelm | provide explicit theory (amending 621c052789b4); | changeset | files |
| Fri, 31 Oct 2014 22:09:18 +0100 | wenzelm | removed pointless markup; | changeset | files |
| Fri, 31 Oct 2014 22:02:49 +0100 | wenzelm | discontinued obsolete \<^sync> marker; | changeset | files |
| Fri, 31 Oct 2014 21:48:40 +0100 | wenzelm | discontinued obsolete control command category; | changeset | files |
| Fri, 31 Oct 2014 21:35:11 +0100 | wenzelm | obsolete; | changeset | files |
| Fri, 31 Oct 2014 21:20:06 +0100 | wenzelm | obsolete; | changeset | files |