Index of /ctan/macros/generic/tex-ewd/
Name | Last Modified | Size | Type |
../ | | - | Directory |
README | 2008-Nov-11 17:11:52 | 0.8K | text/plain;charset=utf-8 |
bsdlic.txt | 2008-Nov-11 17:19:12 | 1.0K | text/plain;charset=utf-8 |
dotnot.tex | 2008-Nov-10 08:15:00 | 7.2K | application/x-tex |
p0.tex | 2008-Nov-11 17:13:25 | 16.0K | application/x-tex |
t1.tex | 2008-Nov-11 17:13:52 | 2.2K | application/x-tex |
TeX-EWD is a set of plain TeX macros that helps typesetting formulas,
calculational proofs, and programs written in Dijkstra's style. See
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD13xx/EWD1300.html
for the `dot notation', i.e., the style for formulas and proofs, and the book
Dijkstra, "A Discipline of Programming", Prentice Hall, 1976
for the `guarded commands language'.
The file dotnot.tex contains the (generic) macros and hints how to
use them, the files t1.tex and p0.tex demonstrate their usage.
The macros where testet using TeX-GPC.
This software is licensed to you under the terms of a BSD-style license,
see bsdlic.txt for details.
Enjoy,
Wolfgang Helbig [email protected]
Stauferst. 22 http://wwwlehre.ba-stuttgart.de/~helbig
71334 Waiblingen November 2008