Some tidies to the new edition.
authorPhilip Hazel <ph10@hermes.cam.ac.uk>
Wed, 16 Feb 2005 16:09:00 +0000 (16:09 +0000)
committerPhilip Hazel <ph10@hermes.cam.ac.uk>
Wed, 16 Feb 2005 16:09:00 +0000 (16:09 +0000)
commit8408f763aff7631e2834ba90aacfd682cd893734
tree16f2238b8565c1e3bbe86bfc521b12664e24cce1
parent50adf73a391c3c0c6485d531c315257288168696
Some tidies to the new edition.
doc/doc-src/spec.src