Index of /archives/text/CTAN/macros/generic/tex-ewd

Icon  Name                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                         -   
[TXT] README                              2008-11-12 02:11  892   
[TXT] bsdlic.txt                          2008-11-12 02:19  1.0K  
[   ] dotnot.tex                          2008-11-10 17:15  7.2K  
[   ] p0.tex                              2008-11-12 02:13   16K  
[   ] t1.tex                              2008-11-12 02:13  2.2K  

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                              helbig@lehre.ba-stuttgart.de
Stauferst. 22                     http://wwwlehre.ba-stuttgart.de/~helbig
71334 Waiblingen                                            November 2008