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.