| Tue, 09 Apr 2013 20:27:27 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 09 Apr 2013 20:16:52 +0200 | wenzelm | just one timing protocol function, with 3 implementations: TTY/PG, PIDE/document, build; | changeset | files |
| Tue, 09 Apr 2013 15:59:02 +0200 | wenzelm | clarified protocol_message undefinedness; | changeset | files |