Index of /macros/generic/tex-ewd
      Name                    Last modified       Size  Description

[DIR] Parent Directory 13-Jan-2021 01:30 - [TXT] bsdlic.txt 12-Nov-2008 04:19 1k [TXT] dotnot.tex 10-Nov-2008 19:15 7k [TXT] p0.tex 12-Nov-2008 04:13 16k [TXT] t1.tex 12-Nov-2008 04:13 2k

TeX-EWD is a set of plain TeX macros that helps typesetting formulas,
calculational proofs, and programs written in Dijkstra's style. See
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.

Wolfgang Helbig                    
Stauferst. 22           
71334 Waiblingen                                            November 2008