log docs/spec/spec.tex @ 770:c54bc2ffbf92 tip

age author description
Tue, 15 Sep 2009 10:16:10 +0000 mas01mj Tidying and corrections to spec.
Tue, 15 Sep 2009 09:15:28 +0000 mas02md Michael Jewell went through this and noticed some semantic errors and he and I tidied up some of the definitions.