Updated source of the manual. (And ChangeLog got left out of the last
authorPhilip Hazel <ph10@hermes.cam.ac.uk>
Wed, 26 Jan 2005 14:52:08 +0000 (14:52 +0000)
committerPhilip Hazel <ph10@hermes.cam.ac.uk>
Wed, 26 Jan 2005 14:52:08 +0000 (14:52 +0000)
commitd43194dfaff6028b9755250a5ef16c8ee2dbcd28
tree194cfb49e1df0ab381d11974dd7dfb23b624d65b
parentb08b24c880b30c34f3ed5f4c59a286fdefb1c0f5
Updated source of the manual. (And ChangeLog got left out of the last
commit.)
doc/doc-src/spec.src
doc/doc-txt/ChangeLog