CTAN
Comprehensive T
e
X Archive Network
Login
Join
Settings
Help
Cover
Cover
Starting out with T
e
X...
CTAN Background
Mirrors
T
e
X user groups
Privacy
Credits
Upload
Upload
Upload basics
Upload addendum
T
e
X Directory Structure
Licenses
Browse
T
e
X Archive
Packages
Topics
Contributors
Announcements
Search
Extended search
File search
Location:
CTAN
Contributors
Wolfgang Helbig
Wolfgang Helbig
tex-ewd
Macros to typeset calculational proofs and programs in Dijkstra's style
T
e
X
-FPC
A collection of change files for a
T
e
X
system based on Free Pascal
T
e
X
-GPC
A collection of change files for a
T
e
X
system based on GNU Pascal
Guest Book
Sitemap
Contact
Contact Author
Feedback