Folks, I've noticed that the history manager writes a lot of files on our disks and takes up a lot of space (and inodes)... ...what's it for? -- Simon Brown <stb28 at cam.ac.uk> - Cambridge University Computing Service +44 1223 3 34714 - New Museums Site, Pembroke Street, Cambridge CB2 3QH