| Fri, 24 Feb 2012 18:14:06 +0100 | wenzelm | clarifed name space "type name", which covers logical and non-logical types, and often occurs inside outer syntax "type" markup; | file | diff | annotate |
| Thu, 05 Jan 2012 14:48:41 +0100 | wenzelm | prefer raw_message for protocol implementation; | file | diff | annotate |
| Thu, 05 Jan 2012 14:34:18 +0100 | wenzelm | prefer raw_message for protocol implementation; | file | diff | annotate |
| Thu, 05 Jan 2012 14:15:37 +0100 | wenzelm | prefer raw_message for protocol implementation; | file | diff | annotate |
| Thu, 01 Dec 2011 11:54:39 +0100 | wenzelm | updated markup conforming to ML side; | file | diff | annotate |
| Tue, 29 Nov 2011 21:50:00 +0100 | wenzelm | clarified Time vs. Timing; | file | diff | annotate |
| Tue, 29 Nov 2011 19:49:36 +0100 | wenzelm | rearranged files; | file | diff | annotate | base |