Wolfgang Helbig

Macros to typeset calculational proofs and programs in Dijkstra's style

A collection of change files for a TeX system based on Free Pascal

A collection of change files for a TeX system based on GNU Pascal