chiark / gitweb /
doc/sod.sty: Reintroduce toplevel `\kill' into `prog' environment.